% 10-point PUNK font designsize:=10pt#; font_identifier:="PUNK"; ht#:=7pt#; % height of characters u#:=1/4pt#; % unit width s#:=1.2pt#; % extra sidebar px#:=.6pt#; % horizontal thickness of pen py#:=.5pt#; % vertical thickness of pen dot#:=1.3pt#; % diameter of dots dev#:=.3pt#; % standard deviation of punk points slant:=0; % obliqueness seed:=sqrt2; % seed for random number generator input punk bye