type t = { v1 : int, v2 : int } in
let r : t := t { v1 = 44, v2 = 22 } in
let i := r.v1
and a := 5 in
let g(x : int, w : int) : int =
	let f(y : int) : int = y * i in
	let h(z : int) : int = (w + f(z)) / a in
	f(h(x)) - r.v2
in
g(i,a)