Documentation for ini_config can be found in ini_config.h