Go to the first, previous, next, last section, table of contents.

`spark#' primitive operation (for parallel execution)

ToDo: say something It's used in the unfolding for `par'.
Go to the first, previous, next, last section, table of contents.