assert function never returns

This will aid in optimization.
OK, confirmed.