let change_initialized init v = match init, v with
    | trueC_uninit_esc v -> C_init_esc v
    | trueC_uninit_noesc v -> C_init_noesc v
    | true, _ -> v
    | falseC_init_esc v -> C_uninit_esc v
    | falseC_init_noesc v -> C_uninit_noesc v
    | false, _ -> v