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

void ecrire_instruction(format, ...)
{
   va_list args;

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

   strcat(inst_buffer, tmp);
}