let uninitialized = C_uninit_noesc V.bottom