ptrace-based equivalence tester