rem: return ToUint32Decimal(s); 
add: return ToUint32Decimal(s); 
context: function RShift( s, a ) {    s = ToUint32BitString( s );    for ( z = 0; z < a; z++ ) {        s = "0" + s;    }    s = s.substring( 0, s.length - a );    return ToUint32Decimal(s);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4218d0f5950d93cb2609d946f6af7ce1b2e89575/11.7.3.js/buggy/js/tests/ecma/Expressions/11.7.3.js