Source: https://c0.cs.cmu.edu/docs/c0-libraries.pdf