My Project  debian-1:4.1.1-p2+ds-4build3

bigintm → kernel Relation

File in Singular/dyn_modules/bigintmIncludes file in kernel
bigintm.ccmod2.h
mod_main.ccmod2.h