for I being Element of Segm 8
for S being non empty 1-sorted
for x being Element of SCM-Instr S
for mk being Nat st x = [I,<*mk*>,{}] holds
x jump_address = mk