packlib/kernlib/kernnum/test/numchk3
