bar :: (a: integer) { local := a; }