Use `procref` for FPI tutorials
Open
- Dominant language
- Rust
- Stars
- 18
- Forks
- 34
- PR merge metrics
- No merged PRs in 30d
Description
### Feature description
Instead of string formatting, we should use `procref` opcode for FPI tutorials.
### Why is this feature needed?
Code clarity.
### Motivation
https://github.com/0xMiden/miden-base/pull/1883#discussion_r2349184113
Contributor guide
Assessment
This issue has not been assessed yet.