/* The non-destructive folder was always emitting >= when folding   comparisons to signed_max+1.  */#include <limits.h>intmain (){  unsigned long count = 8;  if (count > INT_MAX)    abort ();  return (0);}