Tek2 AbstractVM