Hyperproof interview question

Standard linked list manipulation questions