% 12-point PUNK font designsize:=12pt#; font_identifier:="PUNK"; ht#:=8.4pt#; % height of characters u#:=.3pt#; % unit width s#:=1.4pt#; % extra sidebar px#:=.75pt#; % horizontal thickness of pen py#:=.62pt#; % vertical thickness of pen dot#:=1.6pt#; % diameter of dots dev#:=.36pt#; % standard deviation of punk points slant:=0; % obliqueness seed:=sqrt3; % seed for random number generator input punk bye