const WAIT_ABANDONED_0: type = WAIT_ABANDONED + 0;