[ 0:01] + cat
[ 0:01] + cat
[ 0:01] + divine cc -c a.c b.c
[ 0:01] compiling a.c
[ 0:01] compiling b.c
[ 0:01] + llvm-nm a.bc
[ 0:01] + grep dont_link_test_foo
[ 0:01] 00000000 T dont_link_test_foo
[ 0:01] + llvm-nm b.bc
[ 0:01] + grep dont_link_test_bar
[ 0:01] 00000000 T dont_link_test_bar
[ 0:01] + llvm-nm a.bc
[ 0:01] + grep dont_link_test_bar
[ 0:01] + llvm-nm b.bc
[ 0:02] + grep dont_link_test_foo
[ 0:02] + check debris