a tiny cleanup
Merge branch 'malloc' of github.com:dimpase/stabprogs into malloc