fun times2[n] @n*2 end fun main[] n = 10 + 5 res = call times2[n] @res end