[jhc] Region inference and no GC -- what kinds of programs?