pragma solidity >=0.8.0 <0.9.0; contract Test { function a(uint x) public { require( x == 1 || x == 2 || x == 3 ); } }