[
    "event MessageSent(bytes)",
    "function fxChild() view returns (address)",
    "function fxRootTunnel() view returns (address)",
    "function processMessageFromRoot(uint256,address,bytes)"
]