C23 bugfix: trivial change to a cast

This probably does not affect behavior in any way.
Spotted while working on the sc runtime.

Author: alastairreid

libASL/runtime_c23.ml

@@ -626,7 +626,7 @@ module Runtime : RT.RuntimeLib = struct
     PP.fprintf fmt "((int64_t)%a)" RT.pp_expr x
 
   let ffi_c2asl_sintN_small (n : int) (fmt : PP.formatter) (x : RT.rt_expr) : unit =
-    PP.fprintf fmt "((%a)%a)" ty_sint int_width RT.pp_expr x
+    PP.fprintf fmt "((%a)%a)" ty_sint n RT.pp_expr x
 
   let ffi_asl2c_sintN_small (n : int) (fmt : PP.formatter) (x : RT.rt_expr) : unit =
     PP.fprintf fmt "((int64_t)%a)" RT.pp_expr x