let create : int -> V.t -> tt = fun flags v -> match flags with | 0 -> C_uninit_esc v | 1 -> C_uninit_noesc v | 2 -> C_init_esc v | 3 -> C_init_noesc v | _ -> assert false