use ../../CoCoOS9/level2v3/defsfile