poly_split() doesn't crash!