mdb_free_align
mdb_free_align(c->ctx_stack, c->ctx_stacksize);
extern void mdb_free_align(void *, size_t);