"Circle10; circle font, 0.4pt thickness";
fontidentifier "CIRCLE10";
thick=0.8.
input circle;

end.