#Z3 migration