#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main(void) {
char *s1 = "Michael";
char *s2 = "Jackson";
char *s3 = "-";
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KI2luY2x1ZGUgPHN0cmluZy5oPgoKaW50IG1haW4odm9pZCkgewogICAgY2hhciAqczEgPSAiTWljaGFlbCI7CiAgICBjaGFyICpzMiA9ICJKYWNrc29uIjsKICAgIGNoYXIgKnMzID0gIi0iOwogICAgY2hhciAqZGVzdCA9IG1hbGxvYyhzdHJsZW4oczEpICsgc3RybGVuKHMyKSArIHN0cmxlbihzMykgKyAxKTsKICAgIHN0cmNweShkZXN0LHMxKTsKICAgIHN0cmNhdChkZXN0LHMzKTsKICAgIHN0cmNhdChkZXN0LHMyKTsKICAgIGRlc3Rbc3RybGVuKGRlc3QpXSA9ICdcMCc7CiAgICBwcmludGYoIkRlc3QgPSAlc1xuIixkZXN0KTsKICAgIGZyZWUoZGVzdCk7Cn0=