wadler: w-adler-dog
wadler: w-adler-seasick
wadler: w-adler-fish
wadler: w-adler-bu
wadler: w-adler-hammonds
wadler: w-adler-boogie
wadler: w-adler-sup
wadler: w-adler-boat1
wadler: w-adler-boat2
wadler: w-adler-boo
wadler: w-adler-sit
wadler: w-adler-con
wadler: w-adler-bu2
wadler: 64_wadler116
wadler: 64_wadler026
wadler: 11111
wadler: 19_wadler537
wadler: 19_wadler584
wadler: 57_wadler935
wadler: 31_wadler885
wadler: 31_wadler886
wadler: 31_wadler889
wadler: 31_013a3
wadler: 31_5
wadler: 53_wadler752
wadler: Will_adler_12
wadler: will_adler_8
wadler: will_adler_7
wadler: will_adler_5
wadler: will_adler_4