Kill core.py copy of next_greater().