Formulas for readline and ossp-uuid