These are only accessed within methods which are not reachable from
this SearckKey type, so this was essentially dead code.