no tests because 1) I don't know how to use dejagnu, and 2) I don't think it's possible to make non-racy tests