Author: claimsbot

1.-13. (canceled)
14. A method for manufacturing a semiconductor structure, comprising:
forming a gate over a first semiconductor layer having a first lattice constant;
removing a portion of the first semiconductor layer in proximity to a sidewall of the gate and obtaining a recess; and
forming a second semiconductor layer having a second lattice constant over the recess,
wherein at least one dislocation is in-situ formed in the second semiconductor layer without extending to the first semiconductor layer.
15. The method for manufacturing a semiconductor structure of claim 14, wherein the removing the portion of the first semiconductor layer comprises etching the first semiconductor layer by a wet etching, a dry etching, or the combination thereof to form the recess having a predetermined depth.
16. The method for manufacturing a semiconductor structure of claim 14, wherein the forming the second semiconductor layer comprises performing a cyclic deposition etch operation, a selective epitaxial growth, or the combination thereof.
17. The method for manufacturing a semiconductor structure of claim 14, wherein the forming the second semiconductor layer comprises an in-situ doping operation or an ion-implantation operation.
18. The method for manufacturing a semiconductor structure of claim 14, wherein the forming the second semiconductor layer comprises forming phosphor-doped silicon carbide, pseudocubic Si3P4, or the combination thereof.
19. The method for manufacturing a semiconductor structure of claim 18, wherein a ratio of a flow rate of a silicon precursor and a flow rate of a phosphor precursor is in a range of from about 0.2 to about 5.
20. The method for manufacturing a semiconductor structure of claim 14, wherein the forming the gate over the first semiconductor layer comprises forming a metal gate over a semiconductor fin or forming a polysilicon gate over a planar semiconductor layer.
21. A method for manufacturing a semiconductor structure, comprising:
forming a gate over a first semiconductor layer having a first lattice constant;
removing a portion of the first semiconductor layer in proximity to a sidewall of the gate and obtaining a recess; and
forming a second semiconductor layer having a second lattice constant over the recess,
wherein at least one dislocation is located only in the second semiconductor layer.
22. The method for manufacturing a semiconductor structure of claim 21, wherein the removing the portion of the first semiconductor layer comprises exposing {001} plane and {111} plane at a bottom surface of the recess.
23. The method for manufacturing a semiconductor structure of claim 21, wherein the forming the second semiconductor layer comprises forming a phosphorous-doped silicon carbide (SiC:P).
24. The method for manufacturing a semiconductor structure of claim 23, wherein a ratio of a flow rate of a silicon precursor and a flow rate of a phosphor precursor is in a range of from about 0.2 to about 5.
25. The method for manufacturing a semiconductor structure of claim 23, wherein a growth temperature is in a range of from about 600 to about 700 degrees Celsius, and a chamber pressure is in a range of from about 100 to about 600 Torr.
26. The method for manufacturing a semiconductor structure of claim 23, wherein the forming the SiC:P comprises introducing monomethalsilane as carbon precursors with a flow rate of from about 100 SCCM to about 300 SCCM.
27. A method for manufacturing a semiconductor structure, comprising:
forming a gate over a first semiconductor layer having a first lattice constant;
removing a portion of the first semiconductor layer in proximity to a sidewall of the gate and obtaining a recess; and
forming a second semiconductor layer having a second lattice constant over the recess,
wherein a V-shaped dislocation is formed in the second semiconductor layer and is not extending to the first semiconductor layer.
28. The method for manufacturing a semiconductor structure of claim 27, wherein the forming the second semiconductor layer comprises forming a source region or a drain region of the semiconductor structure.
29. The method for manufacturing a semiconductor structure of claim 27, wherein the forming the second semiconductor layer comprises forming a pseudocubic Si3P4 phase.
30. The method for manufacturing a semiconductor structure of claim 29, wherein the forming the second semiconductor layer comprises an in-situ doping operation.
31. The method for manufacturing a semiconductor structure of claim 29, wherein a ratio of a flow rate of a silicon precursor and a flow rate of a phosphor precursor is in a range of from about 0.2 to about 5.
32. The method for manufacturing a semiconductor structure of claim 29, wherein a growth temperature is in a range of from about 600 to about 700 degrees Celsius, and a chamber pressure is in a range of from about 100 to about 600 Torr.
33. The method for manufacturing a semiconductor structure of claim 27, wherein the forming the second semiconductor layer comprises forming a phosphorous-doped silicon carbide (SiC:P).

The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.

1. An information service system comprising:
an information server;
a communication unit; and
a positioning unit;
wherein the positioning unit and the communication unit are configured to communicate with a user terminal outside the information service system in an application space;
wherein the communication unit is configured to further communicate with the information server;
wherein the positioning unit is configured to determine a location of the user terminal;
wherein the information server is configured to store service information containing location parameters; and
wherein the information server is configured to provide, via the communication unit, service information to the user terminal that matches the location of the user terminal.
2. The system of claim 1, wherein the communication unit comprises a communication node configured to transmit communication signals, wherein the communication signal are configured to cover the application space.
3. The system of claim 1, wherein the positioning unit comprises at least two first positioning nodes, wherein the first position nodes are configured to transmit positioning signals to the user terminal, wherein the positioning signal are configured to cover the application space.
4. The system of claim 3, wherein the positioning signals transmitted by the first positioning nodes contain identification coding information of the first positioning nodes.
5. The system of claim 4, wherein the positioning signals comprise one or more of a low-frequency electromagnetic signal, an ultrasonic signal, or an infrared signal.
6. The system of claim 1, wherein the positioning unit comprises at least one second positioning node, wherein the second positioning node is configured to store positioning information of the second positioning node, and wherein the positioning information of the second positioning node is configured for capture and storage by the user terminal.
7. The system of claim 6, wherein the positioning information of the second positioning node comprises identification coding information of the second positioning node.
8. A user terminal configured to interact with an information service system,
the information service system comprising:
an information server;
a communication unit; and
a positioning unit;
wherein the positioning unit and the communication unit are configured to communicate with the user terminal outside the information service system in an application space;
wherein the communication unit is configured to further communicate with the information server;
wherein the positioning unit is configured to determine a location of the user terminal;
wherein the information server is configured to store service information containing location parameters;
wherein the information server is configured to provide, via the communication unit, service information to the user terminal that matches the location of the user terminal; and
wherein the user terminal comprises:
a first communication module; and
a detection module,
wherein the first communication module is configured for short-range communication with the communication unit; and
wherein the detection module is configured to receive a positioning signal from the positioning unit, to detect a strength of the positioning signal, and to determine the location of the user terminal.
9. The user terminal of claim 8, further comprising:
a control module;
a second communication module;
a positioning module; and
a memory unit,
wherein the control module is configured to control the second communication module to establish communication with the positioning unit, to obtain a initial position information of the user terminal;
wherein the positioning module is configured to obtain a distance between the user terminal and the positioning unit;
wherein the memory unit is configured to store the initial position information sent by the second communication module;
wherein the second communication module is configured for short-range communication with the communication unit.
10. The user terminal of claim 9, wherein the control module is connected with the second communication module, the positioning module, and the memory unit; and wherein the second communication module is further connected with the memory unit.
11. The user terminal of claim 9, wherein the positioning module comprises an acceleration sensor or a displacement sensor.
12. A method for transmitting real-time information between an information service system and a user terminal,
the information service system comprising:
an information server;
a communication unit; and
a positioning unit;
wherein the positioning unit and the communication unit are configured to communicate with the user terminal outside the information service system in an application space;
wherein the communication unit is configured to further communicate with the information server;
wherein the positioning unit is configured to determine a location of the user terminal;
wherein the information server is configured to store service information containing location parameters;
wherein the information server is configured to provide, via the communication unit, service information to the user terminal that matches the location of the user terminal; and
wherein the method comprises:
communicating the user terminal with the positioning unit to obtain a initial position information of the user terminal;
determining a position of the user terminal based on a distance between the user terminal and the positioning unit; and
receiving, at the user terminal, service information provided by the information server, wherein the service information matches the position of the user terminal.
13. The method of claim 12, wherein:
the user terminal is configured to receive a positioning signal transmitted by the positioning unit and determine the distance between the user terminal and the positioning unit based on a strength of the positioning signal.
14. The method of claim 13, further comprising: if the user terminal receives the positioning signal transmitted by a positioning node in the positioning unit, then using a position of the positioning node as the initial position, and determining the position of the user terminal based on the strength of the positioning signal transmitted by the positioning node.
15. The method of claim 13, further comprising:
if the user terminal receives positioning signals from two or more positioning nodes in the positioning unit, then
determining an intersecting area between the positioning signals transmitted by the two or more positioning nodes;
using a position of at least one positioning node as the initial position; and
determining the position of the user terminal based on the strength of the positioning signals transmitted by the positioning nodes.
16. The method of claim 15, further comprising:
after the determination of the intersecting area, determining the position of the user terminal by:
using the position of any one of the two or more positioning nodes as the initial position;
assessing a distance between the user terminal and the one positioning node by assessing the strength of the positioning signal transmitted by the one positioning node.
17. The method of claim 15, further comprising:
after the determination of the intersecting area, determining the position of the user terminal by:
using positions of the at least two positioning nodes as initial positions;
respectively assessing strengths of the positioning signal transmitted by each of the at least two positioning nodes to determine a distance between the user terminal and each of at least two positioning nodes, thereby determining the location of the user terminal.
18. The method of claim 12, wherein the user terminal receives service information from the information server by:
transmitting, from the user terminal, position information of the user terminal to the information server via the communication unit of the information service system;
receiving, at the information server, the position information;
selecting, from the service information containing position parameters, service information that matches the position information;
transmitting the selected service information from the information server to the user terminal via the communication unit; and
receiving, at the user terminal, the service information transmitted by the communication unit.
19. The method of claim 12, wherein the user terminal receives service information from the information server by:
transmitting, from the information server via the communication unit of the information service system, service information containing positioning parameters to the user terminals; and
comparing, at the user terminal, the positioning parameters contained in the received service information with its own position information, and selecting the service information that matches the position information of the user terminal.
20. The method of claim 11, further comprising:
determining locations of a plurality of user terminals; and
sending location-specific real time information to the plurality of user terminals based on the determined locations of the plurality of user terminals.

1. A refrigerator, comprising:
a refrigerator main body having a cooling chamber;
a door configured to open and close at least a portion of the cooling chamber, the door having a cavity on a rear surface thereof;
an ice maker mounted on the door;
a base member in the cavity of the door, the base member including a vertical base portion and a horizontal base portion;
an ice bank detachably mountable on the base member below the ice maker while horizontally sliding on the horizontal base portion; and
a detachable-mounting apparatus configured to detachably mount the ice bank to the base member,
wherein the ice bank comprises:
a rear wall having a bottom edge slidably contactable with the horizontal base portion of the base member;
side walls; and
a front wall,

wherein the detachable-mounting apparatus comprises:
a rotation shaft portion rotatably coupled to the base member in a vertical direction;
a cover that has a plate-like shape, and that has one surface connected with the rotation shaft portion;
an elastic member configured to return the cover to an initial position, the elastic member being a torsion spring; and
a detachable-mounting unit configured to detachably mount the ice bank to the base member by interworking with the cover when the ice bank is inserted into or separated from the base member;
wherein the rotation shaft portion and the cover are integrally formed with each other,
wherein the rotation shaft portion is provided with an insertion portion for inserting the elastic member,
wherein a first end of the elastic member is supported by the cover and a second end of the elastic member is supported by the base member, the first end of the elastic member being opposite of the second end of the elastic member,
wherein a recess portion is located at one of the side walls of the ice bank such that the cover is disposed in the recess portion, and
wherein the detachable-mounting unit is configured to allow the ice bank to be separated from the base member based on the cover being rotated to an inside of the recess portion.
2. The refrigerator of claim 1, wherein the horizontal base portion of the base member is provided with a horizontal supporting portion configured to support the bottom edge of the ice bank when the bottom edge is horizontally inserted into the base member, the horizontal supporting portion being implemented as a linear guide groove formed on an upper surface of the horizontal base portion, and
wherein the bottom edge of the ice bank is provided with a first insertion supporting portion, the first insertion supporting portion supported by being inserted into the horizontal supporting portion.
3. The refrigerator of claim 2, wherein the vertical base portion of the base member is provided with a vertical supporting portion configured to support the ice bank, and
wherein the ice bank is provided with a second insertion supporting portion such that the vertical supporting portion of the horizontal base portion is inserted therein.
4. The refrigerator of claim 3, wherein the vertical supporting portion comprises a left supporting portion and a right supporting portion formed on the horizontal base portion of the base member,
wherein the left supporting portion has a first protrusion portion protruding from one side of the vertical base portion in a hexahedron shape, and a second protrusion portion extending from an upper surface of the first protruding portion,
wherein the right supporting portion has a first protrusion portion protruding from other side of the vertical base portion, and a second protrusion portion protruding from one side of the first protrusion portion of the right supporting portion, and
wherein the second insertion supporting portion comprises a stepped protrusion portion relatively protruding with respect to both sides of the ice bank, and one-step concaved surface portions formed at both sides of the stepped protrusion portion such that the left and right supporting portions are inserted therein.
5. The refrigerator of claim 4, wherein the detachable-mounting unit comprises:
a curved-line guide groove penetratingly formed at a lower surface of the base member in the form of a curved-line;
a guide rod curvedly-extending from one side of the rotation shaft portion in the form of a curved-line, and having a locking guide protrusion at one side thereof, the locking guide protrusion protruding so as to be inserted into the curved-line guide groove; and
a guide locking portion disposed on a lower surface of the ice bank, and locked by or unlocked from the locking guide protrusion in response to the locking guide protrusion being moved when the ice bank is inserted into or separated from the base member.
6. The refrigerator of claim 5, wherein the guide locking portion comprises an opening groove formed at a lower surface of the one-step concaved surface portion such that the locking guide protrusion is inserted therein, and a locking protrusion formed in the ice bank to be contactable with the inserted locking guide protrusion.
7. The refrigerator of claim 6, wherein the locking guide protrusion is formed such that a sectional surface thereof has a semi-circular shape, and
wherein the locking protrusion has a triangular sectional surface such that the locking protrusion comes in contact with the locking guide protrusion to prevent separation of the ice bank.
8. The refrigerator of claim 1, wherein the detachable-mounting unit comprises:
an elastic hook curvedly-protruding from one side surface of the cover, and having an elastic force; and
a curved-line shaped locking protrusion protruding from one side of the ice bank in the form of a curved-line, and engaged with the elastic hook.
9. The refrigerator of claim 8, wherein the elastic hook comprises:
a first curved-line portion protruding from one side surface of the cover;
a second curved-line portion curvedly-extending from the first curved-line portion;
a third curved-line portion curvedly-extending from the second curved-line portion by a predetermined length; and
a locking portion curvedly-extending from the third curved-line portion.
10. The refrigerator of claim 9, wherein the curved-line shaped locking protrusion is formed in a shape corresponding to the first curved-line portion.
11. The refrigerator of claim 10, wherein the curved-line shaped locking protrusion is configured such that an end portion thereof comes in contact with the locking portion to restrict a motion of the elastic hook.
12. A refrigerator, comprising:
a refrigerator main body having a cooling chamber;
a door configured to open and close at least a portion of the cooling chamber;
an ice maker mounted on the door;
an ice bank detachably mountable below the ice maker; and
a detachable-mounting apparatus configured to detachably mount the ice bank to the door,
wherein the ice bank comprises:
an ice bank body having an ice-crushing unit and a discharging passage; and
a mode conversion apparatus disposed in the ice bank body and configured to guide ice cubes to the ice-crushing unit or to the discharging passage for discharge in a non-crushed state,

wherein the mode conversion apparatus comprises:
a guide member rotatably disposed in the ice bank body configured to guide ice cubes to the ice-crushing unit or to the discharging passage for discharge in a non-rushed state;
an elastic member configured to elastically support the guide member;
a driving unit configured to generate a driving force so as to rotate the guide member, the driving unit comprising an actuator mounted to a rear surface of a base member and a hook coupled to a shaft of the actuator; and
a curved lever rotatably disposed between the driving unit and the guide member, and configured to rotate the guide member in a manner of changing a linear motion of the driving unit into a rotation motion and transfer rotation force to the guide member,

wherein the actuator is configured to push or pull the curved lever,
wherein the curved lever comprises:
a coupling shaft portion having a predetermined length and outer diameter, the coupling shaft portion being rotatably coupled to one side of the ice bank body in a horizontal direction;
a first curved shaft portion curvedly-extending from one side of the coupling shaft portion;
a locking shaft portion curvedly-extending from the first curved shaft portion, and connected to the hook of the driving unit;
a second curved shaft portion curvedly-extending from another side of the coupling shaft portion; and
a connection shaft portion curvedly-extending from the second curved shaft portion, and connected to the guide member,
wherein the locking shaft portion is disposed in an insertion direction of the ice bank
wherein the elastic member is a torsion spring, has a first end supported by the guide member and a second end supported by the ice bank body, the first end being opposite of the second end,
wherein the hook is configured to detachably insert one end of the locking portion of the curved lever therein,
wherein the guide member comprises:
a guide portion for guiding ice cubes;
a rotatable coupling portion formed at one side of the guide portion, and rotatably coupled to the ice bank body; and
a locking portion extending from the guide portion and configured to lock a part of the connection shaft portion of the curved lever,

wherein the locking shaft portion is disposed in the ice bank body in a mounting direction of the ice bank,
wherein the coupling shaft portion rotates based on the locking shaft portion being moved up and down by the actuator, and
wherein the guide member rotates to guide ice cubes to the discharging passage in a non-crushed state based on the locking shaft portion being moved upward by the actuator.
13. The refrigerator of claim 12,
wherein the connection shaft portion is moved perpendicular to the moving direction of the locking shaft portion.
14. The refrigerator of claim 12, wherein a position limitation portion configured to limit a motion of the guide portion is provided at one side of the guide portion.
15. The refrigerator of claim 12, wherein a body coupling portion configured to moveably couple the guide member is provided at one side of the ice bank body, and
wherein the body coupling portion comprises two fixed plate portions protruding from one side of the ice bank body with a gap therebetween;
pin holes penetratingly formed at the fixed plate portions; and
a through hole penetratingly formed between the two fixed plate portions, for inserting one side of the guide member.
16. The refrigerator of claim 12, wherein the door is provided with a base member, the base member comprising a vertical base portion and a horizontal base portion,
wherein the ice maker is provided at the vertical base portion, and
wherein the ice bank is detachably mountable on the base member below the ice maker while horizontally sliding on the horizontal base portion.
17. The refrigerator of claim 16, wherein the driving unit is provided at a rear surface of the vertical base portion of the base member, and
wherein the vertical base portion of the base member is provided with a through hole such that an end of the locking shaft portion of the curved lever is inserted therein.
18. The refrigerator of claim 17, wherein the ice bank comprises a transfer unit for transferring ice cubes, an ice crushing unit for crushing ice cubes, and a rotation shaft simultaneously coupled to the transfer unit and ice crushing unit,
wherein the base member is provided with a driving motor for driving the rotation shaft,
wherein the rotation shaft is provided with a first connection unit, and
wherein a shaft of the driving motor is provided with a second connection unit detachably connected to the first connection unit when the ice bank is connected to the base member.

The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.

1. A method of generating a software program executable binary file, the method comprising:
accessing, by a processing device, a first file for a first module, wherein the first file includes source code;
accessing, by the processing device, a second file for a second module, wherein the second file includes machine-executable object code and object file summary information; and
generating, by the processing device, the executable binary file from at least the first and second files, wherein the object file summary information is used in optimizing the executable binary file generated,
wherein the object file summary information includes a summary intermediate representation (SIR) and an extension to a linker symbol table, wherein the SIR includes information relating to symbols accessed by a procedure in the object code, and wherein the extension to the linker symbol table includes a flag indicating whether the procedure exposes a memory address by storing the memory address in a location accessible outside the procedure.
2. The method of claim 1, further comprising disambiguating memory accesses otherwise considered aliased using the object file summary information.
3. The method of claim 1, wherein the SIR includes a summary symbol table.
4. The method of claim 3, wherein the summary symbol table includes global and static symbols accessed in the procedure, formal parameters of the procedure, a return location for the procedure, and other procedures called by the procedure.
5. The method of claim 4, wherein a symbol is referenced in the summary symbol table by using an associated summary symbol identifier (SYMID).
6. The method of claim 3, wherein the SIR uses an operator for memory referencing.
7. The method of claim 3, wherein the SIR uses an operator to adjust an address expression by an offset.
8. The method of claim 3, wherein the SIR uses an operator to take an address of a function or variable.
9. The method of claim 3, wherein the SIR uses an operator to merge pointer values from different control flow paths.
10. The method of claim 3, wherein the SIR uses an operator to represent direct procedure calls.
11. The method of claim 3, wherein the SIR uses an operator to represent indirect procedure calls.
12. The method of claim 3, wherein the SIR uses a no-operation type operator to discard values.
13. The method of claim 3, wherein the SIR includes a control data structure comprising a link field for each procedure that points to an SIR block of a next procedure.
14. The method of claim 3, wherein the SIR includes a control data structure comprising a table having links to an SIR block for each procedure.
15. The method of claim 1, further comprising determining variables modified by and referenced by function calls in the object code using the object file summary information.
16. The method of claim 15, wherein the extension to the linker symbol table further includes a second flag indicative of whether the procedure modifies non-local variables and a third flag indicative of whether the procedure references non-local variables.
17. The method of claim 16, wherein the second flag is indicative of whether the procedure modifies globalstatic variables.
18. The method of claim 15, wherein the SIR comprises a linked list of entries corresponding to symbols directly modified or referenced in a procedure.
19. The method of claim 18, wherein each entry comprises a linker identifier of a corresponding symbol and flags indicative of whether that symbol is modified or referenced.
20. The method of claim 1, wherein the second file comprises a load module that is a shared library of procedures.
21. The method of claim 1, wherein multiple files including object code are accessed and used in generating the software program executable binary file.
22. The method of claim 1, wherein the SIR further includes exposed pointer assignments, wherein each of the exposed pointer assignments is an assignment of a pointer that is visible to a caller of the procedure.
23. A system for generating a software program executable file, the system comprising:
a processing device configured to execute computer-readable program code;
a memory system configured to store the computer-readable program code and data;
a source file for a first module comprising source code stored by the memory system;
an object file for a second module including machine-executable object code and object file summary information; and
a translator comprising computer-readable program code stored by the memory system, wherein the computer-readable program code of the translator is configured to access at least the source and object files and to generate the software program executable file therefrom while using the object file summary information to optimize the generated software program executable file,
wherein the object file summary information includes a summary intermediate representation (SIR) and an extension to a linker symbol table, wherein the SIR includes information relating to symbols accessed by a procedure in the object code, and wherein the extension to the linker symbol table includes a flag indicating whether the procedure exposes a memory address by storing the memory address in a location accessible outside the procedure.
24. The system of claim 23, further comprising a points-to analyzer configured to use the object file summary information to disambiguate memory accesses otherwise considered aliased.
25. The system of claim 23, further comprising a module configured to use the object file summary information to determine variables modified by and referenced by function calls in the object file.
26. The system of claim 23, wherein the translator comprises:
a compiler configured to translate the source file into an intermediate file; and
a linker configured to access the object file summary information and communicate information to the compiler relevant to optimizing compilation of the software program.
27. The system of claim 26, wherein the translator further comprises a feedback provider that provides a communications interface between the compiler and the linker.
28. The system of claim 23, wherein the SIR further includes exposed pointer assignments, wherein each of the exposed pointer assignments is an assignment of a pointer that is visible to a caller of the procedure.
29. A computer-readable storage medium storing code that upon execution by a processing device causes the processing device to:
access a first file for a first module, wherein the first file includes source code;
access a second file for a second module, wherein the second file includes machine-executable object code and object file summary information; and
generate an executable binary file from at least the first and second files, wherein the object file summary information is used in optimizing the executable binary file generated,
wherein the object file summary information includes a summary intermediate representation (SIR) and an extension to a linker symbol table, wherein the SIR includes information relating to symbols accessed by a procedure in the object code, and wherein the extension to the linker symbol table includes a flag indicating whether the procedure exposes a memory address by storing the memory address in a location accessible outside the procedure.
30. The computer-readable storage medium of claim 29, wherein the SIR includes a summary symbol table.
31. The computer-readable storage medium of claim 30, wherein the summary symbol table includes global and static symbols accessed in the procedure, formal parameters of the procedure, a return location for the procedure, and other procedures called by the procedure.
32. The computer-readable storage medium of claim 29, wherein the SIR uses a plurality of operators from a group of operators including an operator for memory referencing, an operator to adjust the address expression by an offset, an operator to take an address of a function or variable, an operator to merge pointer values from different control flow paths, an operator to represent direct procedure calls, an operator to represent indirect procedure calls, and a no-operation type operator to discard values.
33. The computer readable storage medium of claim 29, wherein the SIR further includes exposed pointer assignments, wherein each of the exposed pointer assignments is an assignment of a pointer that is visible to a caller of the procedure.