include_c "string.h";

fun main() -> int@ {
  let s1 = "Hello world!";
  let s2 = new char[strlen(s1) + 1];
  strcpy(s2, s1);
  return strcmp(s1, s2) != 0;
}