... The begining of program -- Target function: a * b with TEXT_IO ; use TEXT_IO ; procedure EXAMPLE is package IO_INT is new INTEGER_IO ( INTEGER ) ; use IO_INT ; r,b,a: INTEGER ; begin put ( Enter unsigned number 'b', please ... unsigned number 'a', please: ) ; get ( a ) ; declare VAR0 , VAR1 : INTEGER ; begin VAR0 := a; VAR1 := b; declare VAR3 , VAR2 , VAR4 : INTEGER ; begin VAR3 := 0 ; VAR2 := VAR0 ; VAR4 := VAR1 ; while VAR2 /= 0 loop begin if ...