f(a (int)->(int),) {}