stub
a few implementations of strcmp