Int : POINTER TO INT; x [...] String : POINTER TO STRING; cbs [...] LocalBufferLatch1 : ARRAY[0..LENGTH] OF