let phrase =
              function
              | StDir (_, d, dp) -> Ptop_dir (d, (directive dp))
              | si -> Ptop_def (str_item si)