let userdef_frame () = {
    states = [] ;
    memories = [] ;
    result = None ;
    exit_status = None;
    return = None ;
  }