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