packlib/kernlib/kernnum/obsolete/f011ib
