// SPDX-License-Identifier: GPL-2.0
// Copyright (c) 2020 Facebook

volatile int global_value_for_test = 1;