Lightweight region memory management in a two-stage language Intro Basics Stage inference Regions Bit-stealing Using regions Eager regions