backend: todo for div0 traps