rewritten include.h, assert interface.