pragma solidity ^0.8.0;

pragma experimental ABIEncoderV2;

pragma experimental SMTChecker;

contract C {}