ws12 writeup