Please document all these top-level declarations.