$target T:V: $O.ptrace -d T.dev >T.out cmp T.txt T.out && rm -f T.out