let
singleton_zero =
C_init_noesc
(
V
.singleton_zero)