pure subroutine make_nfa_node(nfa_top) implicit none integer(int32), intent(inout) :: nfa_top nfa_top = nfa_top + 1 end subroutine make_nfa_node