Cross Checking Implementations for Bugs