added: not counting problem 'wait_re'