let
bottom =
C_init_noesc
V
.bottom