Shouldn't you be expecting 4096 here? This is why I did `dump_these_keys()` in #587.