begin new p; new a; new i; p <- 'formal x; formal k; begin k <- k+1; out x end'; i <- 1; a <- (4,9,16); p(a[i],@i); p('a[i]',@i); out i (* should write: 4 16 3 *) end