Symbol: getnextinode