? 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.