OPTIONS=DECgraphics,color,boulder=0,hilite_pet,hilite_pile