fixed example code for defproto2 -- should be a new symbol first.