Anvill transforms machine code functions into LLVM functions. To describe these targets consistently and hide some implementation details, Magnifier assigns a unique, opaque ID to all functions, function parameters, basic blocks, and IR instructions. Looking at the newly transformed function, each instruction has a new current ID, but the source IDs still track the original function and instructions.