Need rad_assert.h