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