Exactly! It shouldn't die, because the condition is false and so the loop body should never be executed.