c41_smt_cond_create(), c41_smt_cond_destroy()