packlib/kernlib/kernnum/test/numchk4
