packlib/kernlib/kerngen/obsolete/kernibx/ibxsys
