prereq: ../../../tests/check_isa-2_07_cap
prog: test_tm