better test example for defproto2, but defproto2 still fails.