constString _ (ConstWide16 i) =
  "#int " <> int64Dec i <> intComm16 (fromIntegral i)
constString _ (ConstWide16 i) =
  "#int " <> int64Dec i <> intComm16 (fromIntegral i)
constString _ (ConstWide16 i) =
  "#int " <> int64Dec i <> intComm16 (fromIntegral i)