pub fn library() -> &'static [Claim]
The standard library in two lines, each with the figures it quotes.