Bryant/AVR loop