We should just redefine these in terms of their corresponding types in <stdint.h>.  Those types are guaranteed to be the right side so we don't have to worry about int changing size on us if we switch chips.  See include/stdint.h in the directory where xc16 is installed.