Symbol: krw_type_t