C++: Implement InputFormat::get_options()