/* { dg-do run } */
/* { dg-additional-options "-fwrapv" } */

#include "pr57656.c"