chenyukang/Panda — pull request #1 by xuchunyang (2014-10-12 15:37:57+00:00)
Title: Fix strcmp()

The original strcmp() may obtain wrong result when comparing two
different strings, e.g. strcmp("123", "124") gets 1, not the
correct result -1.