"end-case" is an "endcase" variant which does not discard the case value.