let direction () = !direction_opt