w/o macros: OK. w/o static analysis: OK. FIXED delay slot problem when the branch is the last instruction in interpreted thread.