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