/* Make sure mutual recursion and forward declarations
   work properly */

fun odd(int x) -> bool@;
fun even(int x) -> bool@;

fun even(int x) -> bool@ {
  if (x == 0)
    return true;
  else
    return odd(x - 1);
}

fun odd(int x) -> bool@ {
  if (x == 1)
    return true;
  else
    return even(x - 1);
}

fun main() -> int@ {
  if (even(6))
    return 0;
  else
    return -1;
}