TYPE a
    m:INTEGER
ENDTYPE

a.i <- 1