We prefer using our own ASSERT() macro instead of assert()