Document 64-bit boxes.