% 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
