
const char * const INI_FILENAME = "keyconfig.ini";
const char * const INI_SECTION_NAME = "KeyConfig";
const char * const INI_KEY_LIST[] = {
  "Key1", "Key2", "Key3", "Key4"
};
const unsigned int INI_DEFAULT_VALUE_LIST[] = {
  0, 1, 3, 4
};
