let
integral_type_size_in_bits ty =
integral_type_size_in_bytes ty * 8