fun sum (x) {
  case x of
    Nil          -> return 0
  | Cons (x, tl) -> return x + sum (tl)
  esac
}

x := read ();

write (sum (Nil));
write (sum (Cons (100, Nil)));
write (sum (Cons (100, Cons (200, Nil))))