man set_config_int () - Writes an integer in the configuration file. Allegro game programming library.
NAME
set_config_int - Writes an integer in the configuration file. Allegro game programming library.
SYNOPSIS
#include <allegro.h>
void set_config_int(const char *section, const char *name, int val);
DESCRIPTION
Writes an integer variable to the current config file. See the comments about set_config_string().