test04.g revision 05edc725a1278623336d8b87d130b03305382db0
([0](a1->a2))->((<9>a1)->(<9>a2))