implementing back_2 traps