let is_scalar = function
    Tvoid -> false
  | Tbuiltin _ -> true
  | Tpointer _ -> true
  | Tfunction _ -> false
  | Tarray _ -> false
  | Tstruct _ -> false