Use void* alloca, not char*. The latter lost on convexOS.