__attribute__((used, section("__TEXT,__fips_hmacs")))
const unsigned char fipsGlobal[32] = { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, };

int foo() {
	return 0;
}