Library and example