env/eq3 additions for execution WIP