let escaping_addr = C_init_esc V.bottom