Pretty sure nothing else calls examine apart from players, so isn't it fine?
For worst case can throw a typecheck there.