key: integer ;
a: integer -> ^integer;
a(key) + 4