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