nedbat (Ned Batchelder)