#include "bug3038.h"
void set_flag(int value) { flag = value; }