Update basic_types.h