/* size-saved is actually a 32 bit number, so ... time for some guesswork. */
if ((sis_saved_reported >> 32) != 0) {
/* In case they ever fix this bug. */
/* size-saved is actually a 32 bit number, so ... time for some guesswork. */
if ((sis_saved_reported >> 32) != 0) {
/* In case they ever fix this bug. */