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