packlib/kernlib/kernnum/obsolete/f012cd
