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