Finalize arg, env, aux migration (1/3) (CXX) (BB)