.EQ
delim %%
gfont C
.EN
.RS
.PS
scale=1.2
line   from (7.000000, 8.225000) to (7.000000, 8.062500);
line   from (4.000000, 8.225000) to (4.000000, 8.062500);
line   from (1.000000, 8.225000) to (1.000000, 8.062500);
line   from (0.800000, 8.150000) to (7.187500, 8.150000);

line from (1.0,8.15) to (1.1,8.65);
line from (1.1,8.65) to (7.0,8.65);
line dashed from (7.0,8.65) to (7.0,8.15);
line dashed from (0.55,7.49) to (1.7,7.49);
line dashed from (1.7,7.49) to (4.55,7.49);
line dashed from (6.7,7.49) to (7.3,7.49);

line -> from (1.7,7.49) to (3.65,7.49);
line -> from (4.55,7.49) to (6.7,7.49);

line -> from (4.0,7.25) to (4.0,6.9);
line -> from (7.0,7.25) to (7.0,6.9);

"\s10\fC%t sub 0 %\fP" at (1.0,7.95) ;
"\s10\fC%t sub 1 %\fP" at (4.0,7.95) ;
"\s10\fC%t sub 2 %\fP" at (7.0,7.95) ;

"\s10\fC*r* @write(r),\fP" at (1.0,7.6) ;
"\s10\fCwrite(r),\fP" at (4.0,7.6) ;
"\s10\fCwrite(s).\fP" at (7.0,7.35) ;

"\s10\fC*s* @ @write(s).\fP" at (1.0,7.35) ;
"\s10\fC@write(s).\fP" at (4.0,7.35) ;

"\s10\fCwrite(r).\fP" at (4.0,6.75) ;
"\s10\fCwrite(s).\fP" at (7.0,6.75) ;

"\s10\fCSucceed\fP" at (7.3,8.3) ljust;

.PE
.EQ
delim %%
gfont C
.EN
