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;
  }