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