Return on assertion failure
Typedef idiom