> :FLOAT ,INITIAL-CPU:FLOAT>) (RT:FLOAT :FIX ,INITIAL-TIME:FIX>> 1000.0> FLOAT>)) 100.0> "%)" " Traps: " <- <1 .ACV> ,INITIAL-TRAPS:FIX> " Faults: " <- <2 .ACV> ,INITIAL-FAULTS:FIX> " Pager time: " ,INITIAL-PAGER:FIX>> 1000.0>>> > > > > > > >>>