Using stdlib.h rather than malloc.h
[snark14.git] / examples / b12 / run
1 snark14 b12.in