#include <stdlib.h>
#include <stdio.h>
#include <limits.h>
#include "float.h"

int main(int argc, char *argv[])
{
  printf("%f", DBL_MIN);
  int a = 1;
  printf("%d", a);
  return EXIT_SUCCESS;
}