poly_int: dse.c