Symbol: make_NegHints