# TODO: use json-rpc module
class JSONRPCException(Exception):
pass
class ExecutionError(Exception):