argmax tests with 1 key, 0 keys
use state type itself for the no-key state; keep counter for int64_t