Writes an integer in the configuration file. allegro game programming library.
#include <allegro.h>
void set_config_int(const char *section, const char *name, int val);
Writes an integer variable to the current config file. See the comments about set_config_string().
set_config_file(3alleg4), get_config_int(3alleg4), set_config_string(3alleg4), set_config_float(3alleg4), set_config_hex(3alleg4), set_config_id(3alleg4)