/* Collection of code snippets by Arne Vajhøj */
/* (likely posted to comp.os.vms/INFO-VAX, INFO-TPU, MACRO32, eksperten.dk, newz.dk, LinkedIn or other place sometime between 1990 and now) */
#include <stdio.h>

int main()
{
   int i1 = 0x7FFFFFFF;
   int i2 = i1 + 1;
   double x1 = 1.7976931348623157E308;
   double x2 = x1 * 2;
   printf("%d %d\n",i1,i2);
   printf("%lf %lf\n",x1,x2);
   return 0;
}