s = ToInt32( s ); a = ToUint32( a ); a = Mask( a, 5 ); return ( SignedRShift( s, a ) ); 
s = ToInt32( s ); a = ToUint32( a ); a = Mask( a, 5 ); return ( SignedRShift( s, a ) ); 
function SignedRightShift( s, a ) {    s = ToInt32( s );    a = ToUint32( a );    a = Mask( a, 5 );    return ( SignedRShift( s, a ) );}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/11.7.2.js/buggy/js/tests/ecma/Expressions/11.7.2.js