gen_coef_mat	gen_coef_mat
micvar	micvar
sim_var	sim_var
verify_stability	verify_stability
