do_copy is a loop invariant, but based on a variable parameter; it would only be extracted if Import was inlined. Change-Id: Id5b4a1a4a83a4f2083444da4934e4c994df65b44