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