Tested read_config().