pub fn record_lower_memory<'life0, 'life1, 'async_recursion, A, MV, Store>(
    store: &'life0 mut <Store as Store>::ActualStore<'_>,
    lowerer: &'life1 mut ILowerer<'_, A, MV, Store>,
    values: NEVec<IValue>
) -> Pin<Box<dyn Future<Output = LoResult<u32>> + Send + 'async_recursion>>
where A: 'async_recursion + Allocatable<MV, Store>, MV: 'async_recursion + MemoryView<Store>, Store: 'async_recursion + Store, 'life0: 'async_recursion, 'life1: 'async_recursion,