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().
void set_config_int(const char *section, const char *name, int val);