let proc_stub name args lex_depth = { proc_name = name; proc_args = args; proc_vars = []; proc_value = new_base_block End; proc_lex_depth = lex_depth; proc_stack_size = 0; proc_is_fun = false; }