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