static Instruction symbexec (const Proto *pt, in...