// This file is part of the SV-Benchmarks collection of verification tasks:
// https://github.com/sosy-lab/sv-benchmarks
//
// SPDX-FileCopyrightText: 2018 The Nidhugg project
//
// SPDX-License-Identifier: GPL-3.0-or-later
#define N 20
#include "floating_read.h"