malloc and co. now pass rudimentary tests