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