OPTIONS=boulder:0,color,DECgraphics