hurrah, FLINT is faster here!