constString _ (ConstHigh16 i) =
  "#int " <> int32Dec i <> intComm16 (fromIntegral (i `shiftR` 16) :: Word16)
constString _ (ConstHigh16 i) =
  "#int " <> int32Dec i <> intComm16 (fromIntegral (i `shiftR` 16) :: Word16)
constString _ (ConstHigh16 i) =
  "#int " <> int32Dec i <> intComm16 (fromIntegral (i `shiftR` 16) :: Word16)