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