pub type BalIndex = u64;
Block access index (0 for pre-execution, 1..n for transactions, n+1 for post-execution)