Computing with traps