use "alloc" pkg std =	generic mk	: (val : @a -> @a#);; /* Takes a value, and heapifies it. FIXME: This depends on inlining and copy propagationin order to be efficient. Neither of those arecurrently implemented. That means that this functionis not efficient. It's still damn convenient, though, so it's in.*/generic mk = {val	var p 	p = alloc()	p# = val	-> p}