customstd.lib
constant monomialabortstd
constant satstd
constant mod_init