assertNeverUnknown2.v