1 13f7391e 2004-05-15 devnull /build_12 {
3 13f7391e 2004-05-15 devnull /optsize ptsize def
4 13f7391e 2004-05-15 devnull /osize size def
5 13f7391e 2004-05-15 devnull /ofont font def
7 13f7391e 2004-05-15 devnull optsize 2 div dup R exch R f
8 13f7391e 2004-05-15 devnull 0 size 2 mul 3 div dup neg exch 0 exch rmoveto
12 13f7391e 2004-05-15 devnull optsize R f
13 13f7391e 2004-05-15 devnull (\244) show
17 13f7391e 2004-05-15 devnull optsize ofont f