Port older examples to the new

### Packages versions

miden-vm 0.17.0

### Bug description

#228 introduced CI for the examples, but left some examples unported. See the older-examples README for a list:
https://github.com/0xMiden/examples/blob/5eed317a36f89546046618f8426f5c702362f3c9/older-examples/README.md

### How can this be reproduced?

_No response_

### Relevant log output

```shell

```

Review the older-examples README to see the list of unported examples. Each example likely involves updating code to work with miden-vm 0.17.0. Start by checking the CI configuration introduced in #228 to understand the porting requirements. Success means all examples pass the CI tests.

Scritto dal modello di indicizzazione a partire dal testo della issue.