// Binary: cache/js-dbg-64-921e1db5cf11-linux
// Flags: -m -n -a
//
function addThis() {}
function Integer( value ) {
try {
checkValue( value )
} catch (e) { }
}
function checkValue( value ) {
if ( addThis() != value || value )
throw value='foo';
return value;
}
Integer( 3 );
Integer( NaN );