Oh, I hate this too! Should be in port.h, or just get rid of uses of alloca().