type IndexWithinBinding = usize;