ValueProc is located in:

• stablegen/src/ValueProc.i3
• stubgen/src/ValueProc.i3
• sharedobjgen/src/ValueProc.i3