pragma solidity ^0.7.0;

pragma experimental ABIEncoderV2;

pragma experimental SMTChecker;

contract C {}