contract ExampleContract {

	uint256 internal x;

	function setX(uint256 newValue) public {
		x = newValue;
	}
	
	// error: this function cannot be pure
	function getX() public pure returns (uint256) {
		return x;
	}
}