benchmark FLINT HNF subroutine