A library for String operations