a library with various useful stuff