let add_global_options lst =
  global_options := lst @ !global_options