: POINTER TO INT; y : INT [...] _PRG //Declaration VAR x: INT; b [...] _PRG //Declaration VAR x: INT := 6

: ARRAY[0..10] OF INT [...] _VAR //Implementation FUN := LREAL_TO_INT [...] 1 : INT VAR_INPUT a,b