% 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