diff --git a/wars-rt/src/lib.rs b/wars-rt/src/lib.rs
index 0baf2d6..71a379c 100644
--- a/wars-rt/src/lib.rs
+++ b/wars-rt/src/lib.rs
@@ -281,3 +281,6 @@ pub fn select<T>(u: u32, t: T, t2: T) -> anyhow::Result<tuple_list::tuple_list_t
 pub fn i32wrapi64(a: u64) -> anyhow::Result<tuple_list::tuple_list_type!(u32)> {
     return Ok(tuple_list::tuple_list!((a & 0xffffffff) as u32));
 }
+pub fn i64extend132u(a: u32) -> anyhow::Result<tuple_list::tuple_list_type!(u64)>{
+    Ok(tuple_list::tuple_list!(a as u64))
+}
\ No newline at end of file
diff --git a/wars/src/lib.rs b/wars/src/lib.rs
index 7d7ec71..8632030 100644
--- a/wars/src/lib.rs
+++ b/wars/src/lib.rs
@@ -652,7 +652,7 @@ impl Opts<Module<'static>> {
                                         #root::_rexport::tuple_list::tuple_list!(if #cond != 0{
                                             #then
                                         }else{
-                                            #els
+                                            #els.into()
                                         })
                                     }
                                 },