support FLINT HNF subroutine