It will be remembered that he had Marius' pass-key.

Should you need to get the header field key, you could pass a parameter to the final method representing the index of the entry in the result set you were interested in.

On the other hand, that's no worse than the current situation; you can't pass an int as a key to Hashtable because all keys must be of type Object.