? nfinit([y^3+3,nfbasis(x^3+4)]);
� *** � at top-level: nfinit([y^3+3,nfbasi
� *** � � � � � � � � ^--------------------
� *** nfinit: bug in PARI/GP (Segmentation Fault), please report.
This is a slight modification of bug report 1494 input. �Looks like the existing consistency check is unable to recognize the mismatch.