don't default to infinite machines for arrow instance