method direction_flag : direction_flag -> direction_flag =
                  function
                  | DiTo -> DiTo
                  | DiDownto -> DiDownto
                  | DiAnt _x -> let _x = o#string _x in DiAnt _x