int strcmp(char *a, char *b) {
  return 1;
}