Make WS_Alloc() return a void* like any sane memory allocator should