`flxc` now has automatic stack closures! Take that, C99! Check this out!
:::felix
type tiny = "%i8";
type int = "%i32";
typedef bool = 2;
fun add : int*int -> int = "%add";
fun sub : int*int -> int = "%sub";
fun eq : int*int -> bool = "%eq";
fun lnot : bool -> bool
The second problem that needs addressing is what to do with closures.
In an FPL, a function value is immutable and execution puts the program
counter on the stack, and values constructed on the stack or heap.
In Felix, procedure values are not immutable: the closure objects
contain
local variab