TYPE a
    DECLARE i:INTEGER
ENDTYPE

PROCEDURE thingy(a:a)
    OUTPUT a.i + 1
ENDPROCEDURE

DECLARE i:a

i.i <- 1

CALL thingy(i)

PROCEDURE thingy2
    DECLARE i:a
    i.i <- 4
    OUTPUT i.i * 2
ENDPROCEDURE

CALL thingy2