for i being Instruction of SCMPDS
for I being Program of holds (i ';' I) . 0 = i