Add an example of `exec`

[sarranz]

Maybe a test case from the gimli webpage