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