The standard library