// SPDX-License-Identifier: LicenseRef-Verum-Proprietary
// SPDX-FileCopyrightText: 2025 Verum Software Tools B.V.
// Proprietary and confidential. See LICENSE for terms.
//
// Commentary:
//
// Code:

#include <random>

bool
g_f ()
{
  static std::random_device rd;
  static std::mt19937 gen (rd ());
  static std::uniform_int_distribution<> distrib (0, 1);
  return distrib (gen) == 0;
}
