/* error : procedure returns value */
let
	function g(a:int) = a
in 
	g(2)
end