contract ExampleContract {
	function mustNotBeFive(uint256 x) public pure returns (uint256) {
		// valid, but bad practice
		require(x != 5);
		return x * 2;
	}
}