Assertions
Add assertions to base.c