Symbol: flagwait_t