[0,{},{}] in SCM-Instr