let
flag_init = ref
false