let mkStructEmpty stname =
  mkCompInfo true stname (fun _ -> []) []