let
set_exit_status frame x =
{
fframe = frame.fframe ;
mframe =
M
.set_exit_status frame.mframe x
}