packlib/kernlib/kerngen/obsolete/kernpdp/pdp10mlr
