int k