SYNOPSIS
#include <allegro.h>
void set_config_id(const char *section, const char *name, int val);
DESCRIPTION
Writes a 4-letter driver ID variable to the current config file. See the comments about set_config_string().
void set_config_id(const char *section, const char *name, int val);