mutable mode = (mode : mode option)