68 EXTERN voidmcPrintf_printf2(const char*a_,unsigned int _a_high,const unsigned char*w1_,unsigned int _w1_high,const unsigned char*w2_,unsigned int _w2_high);
75 EXTERN voidmcPrintf_printf3(const char*a_,unsigned int _a_high,const unsigned char*w1_,unsigned int _w1_high,const unsigned char*w2_,unsigned int _w2_high,const unsigned char*w3_,unsigned int _w3_high);
82 EXTERN voidmcPrintf_printf4(const char*a_,unsigned int _a_high,const unsigned char*w1_,unsigned int _w1_high,const unsigned char*w2_,unsigned int _w2_high,const unsigned char*w3_,unsigned int _w3_high,const unsigned char*w4_,unsigned int _w4_high);
103 EXTERN voidmcPrintf_fprintf2(FIO_File file,const char*a_,unsigned int _a_high,const unsigned char*w1_,unsigned int _w1_high,const unsigned char*w2_,unsigned int _w2_high);
110 EXTERN voidmcPrintf_fprintf3(FIO_File file,const char*a_,unsigned int _a_high,const unsigned char*w1_,unsigned int _w1_high,const unsigned char*w2_,unsigned int _w2_high,const unsigned char*w3_,unsigned int _w3_high);
117 EXTERN voidmcPrintf_fprintf4(FIO_File file,const char*a_,unsigned int _a_high,const unsigned char*w1_,unsigned int _w1_high,const unsigned char*w2_,unsigned int _w2_high,const unsigned char*w3_,unsigned int _w3_high,const unsigned char*w4_,unsigned int _w4_high);