let bottom = C_init_noesc V.bottom