246     GateRef numVars = Int32Argument(2); /* 2 : 3rd parameter is index */  in GenerateCircuit()
288     GateRef index = Int32Argument(2); /* 2 : 3rd parameter is index */  in GenerateCircuit()
296     GateRef index = Int32Argument(2); /* 2 : 3rd parameter is index */  in GenerateCircuit()
297     GateRef value = TaggedArgument(3); /* 3 : 4th parameter is value */  in GenerateCircuit()
305     GateRef index = Int32Argument(2); /* 2 : 3rd parameter is index */  in GenerateCircuit()
306     GateRef value = TaggedArgument(3); /* 3 : 4th parameter is value */  in GenerateCircuit()
385     GateRef key = TaggedArgument(2);              /* 2 : 3rd parameter is key */  in GenerateCircuit()
386     GateRef value = TaggedArgument(3);            /* 3 : 4th parameter is value */  in GenerateCircuit()
387     GateRef profileTypeInfo = TaggedPointerArgument(4); /* 4 : 5th parameter is profileTypeInfo */  in GenerateCircuit()
388     GateRef slotId = Int32Argument(5); /* 5 : 6th parameter is slotId */  in GenerateCircuit()
397     GateRef key = TaggedArgument(2);              /* 2 : 3rd parameter is key */  in GenerateCircuit()
398     GateRef value = TaggedArgument(3);            /* 3 : 4th parameter is value */  in GenerateCircuit()
406     GateRef key = TaggedArgument(2);              /* 2 : 3rd parameter is key */  in GenerateCircuit()
407     GateRef value = TaggedArgument(3);            /* 3 : 4th parameter is value */  in GenerateCircuit()
462     GateRef firstValue = TaggedArgument(2); /* 2 : 3rd parameter is value */  in GenerateCircuit()
463     GateRef secondValue = TaggedArgument(3); /* 3 : 4th parameter is value */  in GenerateCircuit()
502     GateRef key = TaggedArgument(2); /* 2 : 3rd parameter is value */  in GenerateCircuit()
503     GateRef firstValue = TaggedArgument(3); /* 3 : 4th parameter is value */  in GenerateCircuit()
504     GateRef secondValue = TaggedArgument(4); /* 4 : 5th parameter is value */  in GenerateCircuit()
542     GateRef firstValue = TaggedArgument(2); /* 2 : 3rd parameter is value */  in GenerateCircuit()
543     GateRef secondValue = TaggedArgument(3); /* 3 : 4th parameter is value */  in GenerateCircuit()
544     GateRef value = TaggedArgument(4); /* 4 : 5th parameter is value */  in GenerateCircuit()
580     GateRef key = TaggedArgument(2); /* 2 : 3rd parameter is value */  in GenerateCircuit()
581     GateRef firstValue = TaggedArgument(3); /* 3 : 4th parameter is value */  in GenerateCircuit()
582     GateRef secondValue = TaggedArgument(4); /* 4 : 5th parameter is value */  in GenerateCircuit()
583     GateRef value = TaggedArgument(5); /* 5 : 6th parameter is value */  in GenerateCircuit()