Hot: libraryverification