max(i64, 1) * i32
