151509e229
char as a parameter. On platforms with char signed by default, those are wrong. Thanks to Christian Biere christianbiere@gmx.de for the patch he supplied. I tested the patch and agc approved it for commit.