packlib/kernlib/kerngen/tcgen/irtdgs
