mixintprog; add options