let integral_type_size_in_bits ty =
  integral_type_size_in_bytes ty * 8