²²The function get_the_options is defined in the file options.cpp.