assertions and oops include lib