let mkdirection =
              function
              | Ast.DiTo -> Upto
              | Ast.DiDownto -> Downto
              | _ -> assert false