function testptlinsep
TESTREC = [];

good = 1;
while good
  M = randpt('abc',0,4,1,4);
  %if ((length(M.Q)>4) & (length(M.Q)<7))
  if length(M.Q)<10
  %if (length(M.Q)>4)
  %if 1
    % only look at "interesting" ones
    
    %SS = simpathcover(M);
    %SS = char(SS);
    %ell = size(SS,2);
    %if ell<9
    %  % but not too complex
    if 1
    
      %[U,w,MU] = pt_scratch(M);
      [U,w,MU] = findptsep(M);
      
      rec.M = M;
      rec.U = U;
      rec.MU = MU;
      rec.w = w;
      TESTREC = [TESTREC;rec];
      save TESTDATA TESTREC
      
      if length(U)<9
        M1 = wb2dfsa_pt(U,w,0,M.ALF);
        good = empty_fsa(symdiff_dfsa(M,M1));
        if ~good
          keyboard
        end
      
      else
      
        [Xt,Yt] = reglang_posneg_dense(0,9,M);
        Yh = eval_muw_c(MU,w,Xt,Yt);
        if totdif(Yh,Yt) > 0
          'bad'
          save PTFAIL M U MU w
          keyboard
        end
        
        test_mw(M,U,MU,w,10000,.3);
        
      end
      
    end
  end
end

%return