Types.h Possible Bug?