Added __ws_alloc_size__ and fixed whitespace