Function param

crates/kernel/src/whnf.rs:3512–3514

(n: u64)

      let Some((sa, sb)) = self.two_string_lit_args(&args[0], &args[1])? else {
        return Ok(None);
      };
      let joined = format!("{sa}{sb}");
      let blob_addr = Address::hash(joined.as_bytes());
      return Ok(Some(self.intern(KExpr::str(joined, blob_addr))));
    }