contract SimpleStorage {
  uint256 storedData;

  case default {
    storedData = 0;
  }

  case set(uint256 x) {
    storedData = x;
  }

  case get() payable returns uint256 {
    return storedData;
  }
}