fun test1 () {
  a := 3
}

fun test2 (b) {
  a := b
}

x := read ();

test1 ();
write (a);

test2 (8);
write (a)