From 202098c88154e3eeee5604069f91abfa0ead6fba Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Fri, 21 Mar 2025 12:46:55 -0500
Subject: [PATCH] fix printing size of disc image on debug uart

it's actually an unsigned long long, but we can bet on it actually having
a size that fits in 32 bits.
---
 src/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index d06b5ef..7902641 100644
--- a/src/main.c
+++ b/src/main.c
@@ -264,7 +264,7 @@ static void     disc_setup(disc_descr_t discs[DISC_NUM_DRIVES])
                 printf("  *** Can't open %s: %s (%d)!\n", disc0_name, FRESULT_str(fr), fr);
                 goto no_sd;
         } else {
-                printf("  Opened, size 0x%x\n", f_size(&discfp));
+                printf("  Opened, size %d (0x%x)\n", (unsigned)f_size(&discfp), (unsigned)f_size(&discfp));
                 if (read_only)
                         printf("  (disc is read-only)\n");
                 discs[0].base = 0; // Means use R/W ops