funstate als instr, ext1: fundefs in body