Mine

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);}