void mvar_free (MVar *const mvar) { assert (mvar); mvar_destroy (mvar); free (mvar); }
void mvar_free (MVar *mvar) { mvar_destroy (mvar); free (mvar); }