Big WS examples (src-gen code included!)