/R: halt is not a trap