permit i(k[int])