some experimenting with passing the RTL AVR state to the bench