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