File-level documentation