Add assert_* functions