/* 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 <stdbool.h>
# 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[])
{
}