packlib/kernlib/kernnum/test/obsolete/numchk1
