let
add_option o = options := !options @ [o]