add lib9.h