let
add_global_options lst =
global_options := lst @ !global_options