#include int ecp_init(ECPContext *ctx);