def METHOD_NAME(draw):
    states = draw(st.integers(1, 20))
    a_state = st.integers(0, states - 1)
    a_byte = st.integers(0, 255)
    start = draw(a_state)
    accepting = draw(st.sets(a_state, min_size=1))
    transitions = [draw(st.dictionaries(a_byte, a_state)) for _ in range(states)]
    return ConcreteDFA(transitions, accepting, start)