let
userdef_frame pool =
{
fframe = ref [] ;
mframe =
M
.userdef_frame pool ;
}