2480 #define OUT(x) { *output_ptr++ = (x); if (output_ptr == output_ptr_end)  flush (); }  macro
2487       OUT (value);  in write_int()
2504       OUT ((int) ieee_number_repeat_start_enum + length);  in write_int()
2508 	  OUT (value >> 24);  in write_int()
2510 	  OUT (value >> 16);  in write_int()
2512 	  OUT (value >> 8);  in write_int()
2514 	  OUT (value);  in write_int()
2525   OUT (length);  in copy_id()
2530       OUT (ch);  in copy_id()
2627 	    OUT (0x90);  in copy_expression()
2679   OUT (0x84);  in drop_int()
2682   OUT (0);  in drop_int()
2683   OUT (0);  in drop_int()
2684   OUT (0);  in drop_int()
2685   OUT (0);  in drop_int()
2695       OUT (type);  in copy_int()
2702 	  OUT (ch);  in copy_int()
2706 	  OUT (ch);  in copy_int()
2710 	  OUT (ch);  in copy_int()
2714 	  OUT (ch);  in copy_int()
2736 	  OUT (ch);  in copy_till_end()
2743 	  OUT (THIS ());  in copy_till_end()
2746 	  OUT (THIS ());  in copy_till_end()
2749 	  OUT (THIS ());  in copy_till_end()
2752 	  OUT (THIS ());  in copy_till_end()
2754 	  OUT (THIS ());  in copy_till_end()
2777       OUT (0xf1);  in f1_record()
2778       OUT (ch);  in f1_record()
2782       OUT (0xf1);  in f1_record()
2783       OUT (0xc9);  in f1_record()
2813       OUT (0xf1);  in f1_record()
2814       OUT (0xd8);  in f1_record()
2822       OUT (0xf1);  in f1_record()
2823       OUT (0xce);  in f1_record()
2872   OUT (0xf0);  in f0_record()
2881   OUT (0xf2);  in f2_record()
2884   OUT (0xce);  in f2_record()
2907 	OUT (0xf8);  in f8_record()
2908 	OUT (ch);  in f8_record()
2916 	OUT (0xf9);  in f8_record()
2925 	OUT (0xf8);  in f8_record()
2926 	OUT (0x04);  in f8_record()
2936 	OUT (0xf9);  in f8_record()
2948 	OUT (0xf8);  in f8_record()
2949 	OUT (0x05);  in f8_record()
2960 	OUT (0xf9);  in f8_record()
2971 	OUT (0xf8);  in f8_record()
2972 	OUT (0x06);  in f8_record()
2980 	OUT (0xf9);  in f8_record()
2992 	OUT (0xf8);  in f8_record()
2993 	OUT (0x0a);  in f8_record()
3009 	OUT (0xf9);  in f8_record()
3018 	OUT (0xf8);  in f8_record()
3019 	OUT (0x0b);  in f8_record()
3029 	OUT (0xf9);  in f8_record()
3041   OUT (0xe2);  in e2_record()
3043   OUT (0xce);  in e2_record()