let pp_descr fmt _x =
         Format.fprintf fmt "Global declaration"