% 20-point bold extended PUNK font designsize:=20pt#; font_identifier:="PUNKBX"; ht#:=14pt#; % height of characters u#:=.6pt#; % unit width s#:=2.2pt#; % extra sidebar px#:=2pt#; % horizontal thickness of pen py#:=1.6pt#; % vertical thickness of pen dot#:=3.5pt#; % diameter of dots dev#:=.5pt#; % standard deviation of punk points slant:=0; % obliqueness seed:=0.57722; % seed for random number generator input punk bye