let
global_options =
ref []