let global_options =
  ref []