much better at finding traps, but hidden segfault