Listing 3: The line number sequence class definition

// sequence.h

#include "deep.h"

class line_number_sequence
    {
public:
    line_number_sequence(unsigned n);
    void add(unsigned n);
    void put() const;
private:
    struct list_node;
    deep_pointer<list_node> first, last;
    };