let flag_init     = ref false