From b2e77ddcf09a169bcbfa7187aa1f406ac466ac21 Mon Sep 17 00:00:00 2001
From: lyon1998 <liang6516@outlook.com>
Date: Sat, 9 Apr 2022 02:33:40 +0800
Subject: [PATCH] fix print int64_t not fine in some platforms

---
 src/PikaVM.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/PikaVM.c b/src/PikaVM.c
index 32855686e..b21e671f8 100644
--- a/src/PikaVM.c
+++ b/src/PikaVM.c
@@ -1251,7 +1251,7 @@ void VMState_solveUnusedStack(VMState* vs) {
             continue;
         }
         if (type == ARG_TYPE_INT) {
-            __platform_printf("%d\r\n", arg_getInt(arg));
+            __platform_printf("%d\r\n", (int32_t)arg_getInt(arg));
         } else if (type == ARG_TYPE_FLOAT) {
             __platform_printf("%f\r\n", arg_getFloat(arg));
         } else if (type == ARG_TYPE_STRING) {