modify types.h