Change types.h