everything in lab3 test suite except core013 works (good15 is ignored as quoted from Aarne in the google group)