fileAddress :: ProcessingFile -> Address -> Address
fileAddress (ProcessingFile fname) (Address b k) =
    Address b (k // Key fname)
fileAddress :: ProcessingFile -> Address -> Address
fileAddress (ProcessingFile fname) (Address b k) =
    Address b (k // Key fname)
fileAddress (ProcessingFile fname) (Address b k) =
    Address b (k // Key fname)