extern void abort (void);

typedef long fract32;

int main ()
{
  fract32 t;

  t = __builtin_bfin_negate_fr1x32 (0x7fffffff);
  if (t != -0x7fffffff) 
    abort ();

  return 0;
}