let
user_frame () =
{
states =
Lmap
.empty ;
result =
None
;
status =
None
;
return =
None
;
}