/*extern*/ int flag;
extern void set_flag(int value);