// BUG: Escalation does not lead to fatal error