let integral_type_size_in_bytes ty =
match unrollType ty with
| TInt(IBool,_attr) -> (* TODO *)
Extlib.not_yet_implemented "Common.integral_type_size_in_bytes IBool"
| TInt(ik,_attr) -> size_in_bytes ik
| TEnum _ -> theMachine.theMachine.sizeof_enum
| _ -> assert false