ext64_aie