The source positions and related helper functions.
This API is completely unstable and subject to change.