@@ -730,7 +730,11 @@ ctype t = error "Can't happen: Not a valid interface type " ++ show t
730730carith (FCon i)
731731 | i == sUN "C_IntChar" = "char"
732732 | i == sUN "C_IntNative" = "int"
733−carith t = error "Can't happen: Not an exportable arithmetic type"
733+ | i == sUN "C_Bits8" = "uint8_t"
734+ | i == sUN "C_Bits16" = "uint16_t"
735+ | i == sUN "C_Bits32" = "uint32_t"
736+ | i == sUN "C_Bits64" = "uint64_t"
737+carith t = error $ "Can't happen: Not an exportable arithmetic type " ++ show t
734738
735739cdesc (FStr s) = s
736740cdesc s = error "Can't happen: Not a valid C name"