40. A computer-readable memory comprising: software to cause a computer to receive an invocation of a first macro and a variable as an argument for the first macro; software to cause said computer to automatically identify a second macro to be invoked to perform, on said variable, an operation identified by the first macro; wherein the first macro and the second macro have different names; wherein the second macro is defined within said computer to comprise first assembler instructions for use with at least variables of an element type identical to a corresponding type of the variable; software to cause said computer to automatically expand the second macro using at least the first assembler instructions, to generate second assembler instructions in an assembly language; and software to cause said computer to use an assembler for said assembly language to generate object code, based at least on the second assembler instructions; wherein the second assembler instructions comprise at least one opcode which depends at least on said corresponding type of the variable.
40. A computer-readable memory comprising: software to cause a computer to receive an invocation of a first macro and a variable as an argument for the first macro; software to cause said computer to automatically identify a second macro to be invoked to perform, on said variable, an operation identified by the first macro; wherein the first macro and the second macro have different names; wherein the second macro is defined within said computer to comprise first assembler instructions for use with at least variables of an element type identical to a corresponding type of the variable; software to cause said computer to automatically expand the second macro using at least the first assembler instructions, to generate second assembler instructions in an assembly language; and software to cause said computer to use an assembler for said assembly language to generate object code, based at least on the second assembler instructions; wherein the second assembler instructions comprise at least one opcode which depends at least on said corresponding type of the variable. 49. The computer-readable memory of claim 40 further comprising: software to cause the computer to check if the corresponding type of the variable is not structure; and software to cause the computer to perform said concatenation when a result, from executing said software to cause the computer to check, is true.