let singleton_zero = C_init_noesc (V.singleton_zero)