suppress no_return warnings