does strcmp always return 0, 1 (or -1) for equal, greater (or the opposite) respectively?