section anchor encoding: