let add e = history.(!pos) <- Some e; n := min (!n+1) Cam_constant.com_history_size ; pos := (!pos + 1) mod Cam_constant.com_history_size; history_option#set (get ()); Cam_rc.save_core ()