This can be solved (as MAL suggested) by fixing configure so that malloc(0) returning 0x800 is treated the same as malloc(0) returning NULL. That way, pymalloc's free code doesn't have to special-case this. --Guido van Rossum (home page: http://www.python.org/~guido/)