Pretty close to working--maybe actually working--AVM generation.