Remove unnecessary stdlib in 9b.c