pub type Binding = (usize, usize);
A variable binding: (source_addr, target_addr) on the heap.
(source_addr, target_addr)