(error_tail): Don't cast alloca to (void *); it's already (void *).