some code-level documentation