packlib/kernlib/kernnum/obsolete/f012ib
