/* do not edit automatically generated by mc from mcPrintf. */ /* This file is part of GNU Modula-2. GNU Modula-2 is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version. GNU Modula-2 is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with gm2; see the file COPYING. If not, write to the Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */ #include "config.h" #include "system.h" #include # if !defined (PROC_D) # define PROC_D typedef void (*PROC_t) (void); typedef struct { PROC_t proc; } PROC; # endif # if !defined (TRUE) # define TRUE (1==1) # endif # if !defined (FALSE) # define FALSE (1==0) # endif #if defined(__cplusplus) # undef NULL # define NULL 0 #endif #define _mcPrintf_H #define _mcPrintf_C # include "GSFIO.h" # include "GFIO.h" # include "GDynamicStrings.h" # include "GStrLib.h" # include "GFormatStrings.h" # include "GnameKey.h" # include "GM2RTS.h" /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_printf0 (const char *a_, unsigned int _a_high); /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_printf1 (const char *a_, unsigned int _a_high, const unsigned char *w_, unsigned int _w_high); /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_printf2 (const char *a_, unsigned int _a_high, const unsigned char *w1_, unsigned int _w1_high, const unsigned char *w2_, unsigned int _w2_high); /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_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); /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_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); /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_fprintf0 (FIO_File file, const char *a_, unsigned int _a_high); /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_fprintf1 (FIO_File file, const char *a_, unsigned int _a_high, const unsigned char *w_, unsigned int _w_high); /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_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); /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_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); /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_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); /* isDigit - returns TRUE if, ch, is a character 0..9 */ static bool isDigit (char ch); /* cast - casts a := b */ static void cast (unsigned char *a, unsigned int _a_high, const unsigned char *b_, unsigned int _b_high); /* TranslateNameToCharStar - takes a format specification string, a, and if they consist of of %a then this is translated into a String and %a is replaced by %s. */ static bool TranslateNameToCharStar (char *a, unsigned int _a_high, unsigned int n); /* isDigit - returns TRUE if, ch, is a character 0..9 */ static bool isDigit (char ch) { return (ch >= '0') && (ch <= '9'); /* static analysis guarentees a RETURN statement will be used before here. */ __builtin_unreachable (); } /* cast - casts a := b */ static void cast (unsigned char *a, unsigned int _a_high, const unsigned char *b_, unsigned int _b_high) { unsigned int i; unsigned char b[_b_high+1]; /* make a local copy of each unbounded array. */ memcpy (b, b_, _b_high+1); if (_a_high == _b_high) { for (i=0; i<=_a_high; i++) { a[i] = b[i]; } } else { M2RTS_HALT (-1); __builtin_unreachable (); } } /* TranslateNameToCharStar - takes a format specification string, a, and if they consist of of %a then this is translated into a String and %a is replaced by %s. */ static bool TranslateNameToCharStar (char *a, unsigned int _a_high, unsigned int n) { unsigned int argno; unsigned int i; unsigned int h; argno = 1; i = 0; h = StrLib_StrLen ((const char *) a, _a_high); while (i < h) { if ((a[i] == '%') && ((i+1) < h)) { if ((a[i+1] == 'a') && (argno == n)) { a[i+1] = 's'; return true; } argno += 1; if (argno > n) { /* all done */ return false; } } i += 1; } return false; /* static analysis guarentees a RETURN statement will be used before here. */ __builtin_unreachable (); } /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_printf0 (const char *a_, unsigned int _a_high) { char a[_a_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); mcPrintf_fprintf0 (FIO_StdOut, (const char *) a, _a_high); } /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_printf1 (const char *a_, unsigned int _a_high, const unsigned char *w_, unsigned int _w_high) { char a[_a_high+1]; unsigned char w[_w_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w, w_, _w_high+1); mcPrintf_fprintf1 (FIO_StdOut, (const char *) a, _a_high, (const unsigned char *) w, _w_high); } /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_printf2 (const char *a_, unsigned int _a_high, const unsigned char *w1_, unsigned int _w1_high, const unsigned char *w2_, unsigned int _w2_high) { char a[_a_high+1]; unsigned char w1[_w1_high+1]; unsigned char w2[_w2_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w1, w1_, _w1_high+1); memcpy (w2, w2_, _w2_high+1); mcPrintf_fprintf2 (FIO_StdOut, (const char *) a, _a_high, (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high); } /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_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) { char a[_a_high+1]; unsigned char w1[_w1_high+1]; unsigned char w2[_w2_high+1]; unsigned char w3[_w3_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w1, w1_, _w1_high+1); memcpy (w2, w2_, _w2_high+1); memcpy (w3, w3_, _w3_high+1); mcPrintf_fprintf3 (FIO_StdOut, (const char *) a, _a_high, (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high); } /* printf0 - writes out an array to, StdOut, after the escape sequences have been translated. */ extern "C" void mcPrintf_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) { char a[_a_high+1]; unsigned char w1[_w1_high+1]; unsigned char w2[_w2_high+1]; unsigned char w3[_w3_high+1]; unsigned char w4[_w4_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w1, w1_, _w1_high+1); memcpy (w2, w2_, _w2_high+1); memcpy (w3, w3_, _w3_high+1); memcpy (w4, w4_, _w4_high+1); mcPrintf_fprintf4 (FIO_StdOut, (const char *) a, _a_high, (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high, (const unsigned char *) w4, _w4_high); } /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_fprintf0 (FIO_File file, const char *a_, unsigned int _a_high) { char a[_a_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); if ((DynamicStrings_KillString (SFIO_WriteS (file, FormatStrings_Sprintf0 (DynamicStrings_InitString ((const char *) a, _a_high))))) == NULL) {} /* empty. */ } /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_fprintf1 (FIO_File file, const char *a_, unsigned int _a_high, const unsigned char *w_, unsigned int _w_high) { DynamicStrings_String s; DynamicStrings_String t; nameKey_Name n; char a[_a_high+1]; unsigned char w[_w_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w, w_, _w_high+1); if (TranslateNameToCharStar ((char *) a, _a_high, 1)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w, _w_high); s = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); t = DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)); s = FormatStrings_Sprintf1 (t, (const unsigned char *) &s, (sizeof (s)-1)); } else { t = DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)); s = FormatStrings_Sprintf1 (t, (const unsigned char *) w, _w_high); } if ((DynamicStrings_KillString (SFIO_WriteS (file, s))) == NULL) {} /* empty. */ } /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_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) { nameKey_Name n; DynamicStrings_String s; DynamicStrings_String s1; DynamicStrings_String s2; unsigned int b; char a[_a_high+1]; unsigned char w1[_w1_high+1]; unsigned char w2[_w2_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w1, w1_, _w1_high+1); memcpy (w2, w2_, _w2_high+1); b = (unsigned int) 0; if (TranslateNameToCharStar ((char *) a, _a_high, 1)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w1, _w1_high); s1 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (1 )); } if (TranslateNameToCharStar ((char *) a, _a_high, 2)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w2, _w2_high); s2 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (2 )); } switch (b) { case (unsigned int) 0: s = FormatStrings_Sprintf2 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high); break; case (unsigned int) ((1 << (1))): s = FormatStrings_Sprintf2 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) w2, _w2_high); break; case (unsigned int) ((1 << (2))): s = FormatStrings_Sprintf2 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) &s2, (sizeof (s2)-1)); break; case (unsigned int) ((1 << (1)) | (1 << (2))): s = FormatStrings_Sprintf2 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) &s2, (sizeof (s2)-1)); break; default: M2RTS_HALT (-1); __builtin_unreachable (); break; } if ((DynamicStrings_KillString (SFIO_WriteS (file, s))) == NULL) {} /* empty. */ } /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_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) { nameKey_Name n; DynamicStrings_String s; DynamicStrings_String s1; DynamicStrings_String s2; DynamicStrings_String s3; unsigned int b; char a[_a_high+1]; unsigned char w1[_w1_high+1]; unsigned char w2[_w2_high+1]; unsigned char w3[_w3_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w1, w1_, _w1_high+1); memcpy (w2, w2_, _w2_high+1); memcpy (w3, w3_, _w3_high+1); b = (unsigned int) 0; if (TranslateNameToCharStar ((char *) a, _a_high, 1)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w1, _w1_high); s1 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (1 )); } if (TranslateNameToCharStar ((char *) a, _a_high, 2)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w2, _w2_high); s2 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (2 )); } if (TranslateNameToCharStar ((char *) a, _a_high, 3)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w3, _w3_high); s3 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (3 )); } switch (b) { case (unsigned int) 0: s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high); break; case (unsigned int) ((1 << (1))): s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high); break; case (unsigned int) ((1 << (2))): s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) w3, _w3_high); break; case (unsigned int) ((1 << (1)) | (1 << (2))): s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) w3, _w3_high); break; case (unsigned int) ((1 << (3))): s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) &s3, (sizeof (s3)-1)); break; case (unsigned int) ((1 << (1)) | (1 << (3))): s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) w2, _w2_high, (const unsigned char *) &s3, (sizeof (s3)-1)); break; case (unsigned int) ((1 << (2)) | (1 << (3))): s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) &s3, (sizeof (s3)-1)); break; case (unsigned int) ((1 << (1)) | (1 << (2)) | (1 << (3))): s = FormatStrings_Sprintf3 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) &s3, (sizeof (s3)-1)); break; default: M2RTS_HALT (-1); __builtin_unreachable (); break; } if ((DynamicStrings_KillString (SFIO_WriteS (file, s))) == NULL) {} /* empty. */ } /* fprintf0 - writes out an array to, file, after the escape sequences have been translated. */ extern "C" void mcPrintf_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) { nameKey_Name n; DynamicStrings_String s; DynamicStrings_String s1; DynamicStrings_String s2; DynamicStrings_String s3; DynamicStrings_String s4; unsigned int b; char a[_a_high+1]; unsigned char w1[_w1_high+1]; unsigned char w2[_w2_high+1]; unsigned char w3[_w3_high+1]; unsigned char w4[_w4_high+1]; /* make a local copy of each unbounded array. */ memcpy (a, a_, _a_high+1); memcpy (w1, w1_, _w1_high+1); memcpy (w2, w2_, _w2_high+1); memcpy (w3, w3_, _w3_high+1); memcpy (w4, w4_, _w4_high+1); b = (unsigned int) 0; if (TranslateNameToCharStar ((char *) a, _a_high, 1)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w1, _w1_high); s1 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (1 )); } if (TranslateNameToCharStar ((char *) a, _a_high, 2)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w2, _w2_high); s2 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (2 )); } if (TranslateNameToCharStar ((char *) a, _a_high, 3)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w3, _w3_high); s3 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (3 )); } if (TranslateNameToCharStar ((char *) a, _a_high, 4)) { cast ((unsigned char *) &n, (sizeof (n)-1), (const unsigned char *) w4, _w4_high); s4 = DynamicStrings_Mark (DynamicStrings_InitStringCharStar (nameKey_keyToCharStar (n))); b |= (1 << (4 )); } switch (b) { case (unsigned int) 0: s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high, (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (1))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high, (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (2))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) w3, _w3_high, (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (1)) | (1 << (2))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) w3, _w3_high, (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (3))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (1)) | (1 << (3))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) w2, _w2_high, (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (2)) | (1 << (3))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (1)) | (1 << (2)) | (1 << (3))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) w4, _w4_high); break; case (unsigned int) ((1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high, (const unsigned char *) &s4, (sizeof (s4)-1)); break; case (unsigned int) ((1 << (1)) | (1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) w2, _w2_high, (const unsigned char *) w3, _w3_high, (const unsigned char *) &s4, (sizeof (s4)-1)); break; case (unsigned int) ((1 << (2)) | (1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) w3, _w3_high, (const unsigned char *) &s4, (sizeof (s4)-1)); break; case (unsigned int) ((1 << (1)) | (1 << (2)) | (1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) w3, _w3_high, (const unsigned char *) &s4, (sizeof (s4)-1)); break; case (unsigned int) ((1 << (3)) | (1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) w2, _w2_high, (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) &s4, (sizeof (s4)-1)); break; case (unsigned int) ((1 << (1)) | (1 << (3)) | (1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) w2, _w2_high, (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) &s4, (sizeof (s4)-1)); break; case (unsigned int) ((1 << (2)) | (1 << (3)) | (1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) w1, _w1_high, (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) &s4, (sizeof (s4)-1)); break; case (unsigned int) ((1 << (1)) | (1 << (2)) | (1 << (3)) | (1 << (4))): s = FormatStrings_Sprintf4 (DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)), (const unsigned char *) &s1, (sizeof (s1)-1), (const unsigned char *) &s2, (sizeof (s2)-1), (const unsigned char *) &s3, (sizeof (s3)-1), (const unsigned char *) &s4, (sizeof (s4)-1)); break; default: M2RTS_HALT (-1); __builtin_unreachable (); break; } if ((DynamicStrings_KillString (SFIO_WriteS (file, s))) == NULL) {} /* empty. */ } extern "C" void _M2_mcPrintf_init (__attribute__((unused)) int argc,__attribute__((unused)) char *argv[],__attribute__((unused)) char *envp[]) { } extern "C" void _M2_mcPrintf_fini (__attribute__((unused)) int argc,__attribute__((unused)) char *argv[],__attribute__((unused)) char *envp[]) { }