Slight readability improvement: use an assert-like macro