Fix upstream bug of too small of a sprintf call
[snark14.git] / examples / b3 / run
1 snark14  b3.in