anchor.diff:  		 method Bool notEmpty();
   		    return in.deqReadyN(fromInteger(valueOf(n)));
   		 endmethod
  +	      endinterface);
  +   endfunction
  +endinstance
  +
  +instance ToPipeOut#(Vector#(n, a), Gearbox#(m, n, a));
  +   function PipeOut#(Vector#(n, a)) toPipeOut(Gearbox#(m, n, a) in);
  +      return (interface PipeOut#(Vector#(n,a));
  +		 method first = in.first;
  +		 method deq = in.deq;
  +		 method notEmpty = in.notEmpty;
   	      endinterface);
      endfunction
   endinstance
  
positive.code: 		 method first(); return in; endmethod
  		 method Action deq(); endmethod
  		 method Bool notEmpty(); return False; endmethod
  	      endinterface);
     endfunction
  endinstance
  
negative.code: import Vector::*;
  import MIMO::*;
  import DefaultValue::*;
  import Gearbox::*;
  
  interface PipeIn#(type a);
     method Action enq(a v);
  