record Node (value, successor)