modified to account for parameter in RZASSERT_SHOULD_NEVER_GET_HERE