openc_alloc_space
static void *openc_alloc_space(GEN_CTX *ctx, size_t num_bytes);
void *dst = openc_alloc_space(ctx, sizeof(v)); \