Go to the first, previous, next, last section, table of contents.
void print(FILE * fp = stdout) void debug_print(FILE * fp = stdout) void check();