Code Editor : wait_condition_or_abort.inc