val emit : Instruct.ZamInstruction list -> unit;