I think only `trap_interrupt is fine