Fix: Redefinition of __ws_alloc_size__ by renaming
Merge pull request #61 from matthiasbeyer/fix-alloc_size_macro

Fix: Redefinition of __ws_alloc_size__ by renaming