/pen/
../
color.gif
fillscreen.gif
pendown.gif
pengroup.gif
penmask.gif
pensize.gif
penup.gif
setbg.gif
setcolor.gif
setpensize.gif
setshade.gif
shade.gif