New ProtocolVersion to fix the refutable pattern.