let atomic_c_type t =
    match t.ct_ty with
        Tvoid -> true | Tbuiltin _ -> true | Tpointer _ -> true
      | Tfunction _ -> false
      | Tarray _ -> false
      | Tstruct _ -> true