This procedure performs sequential initialization, locking, read, join, select, and sort operations before evaluating EOF. If EOF is reached, processing terminates. Otherwise, control returns to next-page processing and continues from the read/join stage. The structure represents a paged input processing loop with persistent state across iterations.