#line 1 "-"
#line 1 "test/string1.g"
fun main() -> int@ {
  let x = "hello world";
  let y = "hello ";
  let z = "world";
  if (x == y + z)
    return 0;
  else
    return 1;
}