// flags3_TEXT_text.c
// Generated by decompiling flags3
// using Reko decompiler version 0.11.6.0.

#include "flags3.h"

// 0000000000000FA8: void foo(Register (ptr64 int32) rdi)
void foo(int32 * rdi)
{
	*rdi < 0x0101;
}

