pub type ecp_restart_ctx = c_void;