let
mem_at frame label =
{
mem =
M
.mem_at frame.mframe label ;
env = env_at frame.fframe label;
}