defmodule user files (bnkern16) export (bnalloc bncreate bnfree bngettype bnsettype bngetsize #:n:prin bnsettozero bnassign bnsetdigit bngetdigit bnnumdigits bnnumleadingzerobitsindigit bndoesdigitfitinword bnisdigitzero bnisdigitnormalized bnisdigitodd bncomparedigits bncomplement bnanddigits bnordigits bnxordigits bnshiftleft bnshiftright bnaddcarry bnadd bnsubtractborrow bnsubtract bnmultiplydigit bndividedigit) cpexport ((bnalloc subr1 ()) (bncreate subr2 ()) (bnfree subr1 ()) (bngettype subr1 ()) (bnsettype subr2 ()) (bngetsize subr1 ()) (#:n:prin subr1 ()) (bnassign nsubr ()) (bnshiftleft nsubr ()) (bnsetdigit subr3 ()) (bnmultiplydigit nsubr ()) ( bnadd nsubr ()) (bnaddcarry nsubr ()) (bngetdigit subr2 ()) (bnsettozero subr3 ()) (bnnumdigits subr3 ()) (bnnumleadingzerobitsindigit subr2 ()) ( bndoesdigitfitinword subr2 ()) (bnisdigitzero subr2 ()) (bnisdigitnormalized subr2 ()) (bnisdigitodd subr2 ()) (bncomparedigits nsubr ()) (bncomplement subr3 ()) (bnanddigits nsubr ()) (bnordigits nsubr ()) (bnxordigits nsubr ()) (bnshiftright nsubr ()) (bndividedigit nsubr ()) (bnsubtractborrow nsubr ()) ( bnsubtract nsubr ())) cpfunctions () cpimport ()