let z = 3 + 4 in 6 * z