[0,{},{}] in SCM+FSA-Instr by Th1, SCM_INST:1;