/* { dg-do run } */
/* { dg-options "-O2 --save-temps" } */

#define TYPE uint64_t
#define TYPE_MIN 0
#define TYPE_MAX UINT64_MAX
#define VALUE 1

#include "min_plus_1.c"