raise_invalid
return (raise_invalid(0x80000001));
return (raise_invalid(0x7fffffff));
return (raise_invalid(0x80000001));
return (raise_invalid(0x7fffffff));
return (raise_invalid(0x80000001));
return (raise_invalid(0x7fffffff));