Lines Matching refs:Out
653 dump_header(Out) :-
655 put(Out, 16'EC), put(Out, 16'1C), put(Out, 16'29),
656 put(Out, 16'16), % ECO_CURRENT_VERSION, see procedure.c
658 flush(Out),
660 set_stream_property(Out, scramble, 73540),
666 put(Out, R1), put(Out, R7), put(Out, R3), put(Out, R5),
667 put(Out, R2), put(Out, R8), put(Out, R4), put(Out, R6).
672 dump_term(Out, Term, Module) :-
675 write_integer(Out, Length),
676 printf(Out, "%Tw", String). % no macros!
678 write_integer(Out, N) :-
683 put(Out, Byte3),
684 put(Out, Byte2),
685 put(Out, Byte1),
686 put(Out, Byte0).