general-purpose utility library
