#include int ecp_init(ECPContext *ctx); void ecp_sock_set(ECPSocket *s);