empty_k‘s Following are private.