Symbol: manh_t