smallcheck code, and note about the hash flaw