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