customstd.lib
constant monomialabortstd
typereturntype
constant satstd
typereturntype
constant mod_init
typereturntype