Update lib.cpp