restored aot