Removed header data from bigint.c