5 later devices reach Petite Basic System 701 Elt through their predicates, nearest generation first.