### 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
Feature description
Instead of string formatting, we should use
procrefopcode for FPI tutorials.Why is this feature needed?
Code clarity.
Motivation
0xMiden/protocol#1883 (comment)