[
  "function SEND_MESSAGE_EVENT_SIG() view returns (bytes32)",
  "function checkpointManager() view returns (address)",
  "function fxChildTunnel() view returns (address)",
  "function fxRoot() view returns (address)",
  "function processedExits(bytes32) view returns (bool)",
  "function receiveMessage(bytes)"
]