Martin@438: // empty line needed here
Martin@438: __add32 = function(x,y) { return (x + y) | 0; };
Martin@438: __sub32 = function(x,y) { return (x - y) | 0; };
Martin@438: __mul32 = function(x,y) { 
Martin@438:     return (((x * (y >> 16)) << 16) + x * (y & 0xFFFF)) | 0;
Martin@438: };