Action: xk - Assert that number of tokens at DirCache + number of tokens known == max_tokens()