Replaced ARG with FUN in the init_k continuation