packlib/kernlib/kernnum/test/obsolete/numchk2
