char decl_buffer[40960];
char inst_buffer[40960];
char tmp[1024];

/* Exemples:
 * ecrire_declaration("int %s;\n", var_nom);
 * ecrire_instruction("%s = %s;\n", var1, exp);
 */

void init_buffer(void)
{
   decl_buffer[0] = '\0';
   inst_buffer[0] = '\0';
}

void ecrire_declaration(const char *format, ...)
{
   va_list args;

   va_start(args, format);
   vsprintf(tmp, format, args);
   va_end(args);

   strcat(decl_buffer, tmp);
}

void ecrire_instruction(const char *format, ...)
{
   va_list args;

   va_start(args, format);
   vsprintf(tmp, format, args);
   va_end(args);

   strcat(inst_buffer, tmp);
}