pub type ecdsa_restart_ctx = c_void;