Some more top-level constant descriptions.