Documenting control flow.