i32_val to i64_val typo fix

i32_val to i64_val typo fix