Environment for an AOT implementation of the NAVM ISA