fun test1 () {
a := 3
}
fun test2 (b) {
a := b
x := read ();
test1 ();
write (a);
test2 (8);
write (a)