LocalBufferLatch1 : ARRAY[0..LENGTH] OF [...] LocalBufferLatch2 : ARRAY[0..LENGTH] OF [...] Latch1), SIZEOF(sLatch1), p