for x being Element of SCM-Instr
for mk being Nat
for I being Element of Segm 9 st x = [I,<*mk*>,{}] holds
x jump_address = mk