Does this assume 64-bit?