Stackframegen
type analysis_result = {
contains_nontail_calls : bool;
frame_required : bool;
extra_stack_used : int;
}
class virtual stackframe_generic : object ... end