mutable on_eval = fun () -> ()