(* Load_phr.sig *) val do_code: bool -> string -> int -> int -> Obj.obj; val loadZamPhrase: Instruct.ZamPhrase -> Obj.obj;