getting stack_alloc to work under Windows