Precompile: License

export RPC_URL="https://test-json-rpc.cloud.aultblockchain.xyz"
export LICENSE_PRECOMPILE="0x0a01700000000000000000000000000000000001"

cast call "$LICENSE_PRECOMPILE" \
  "totalSupply()(uint256)" \
  --rpc-url "$RPC_URL"

address constant LICENSE = 0x0a01700000000000000000000000000000000001;

function queryLicenseTotalSupply() external view returns (uint256) {
    (bool ok, bytes memory out) = LICENSE.staticcall(
        abi.encodeWithSignature("totalSupply()")
    );
    require(ok, "precompile call failed");
    return abi.decode(out, (uint256));
}