[!lean] skip
[lean] aeneas-args=-dest tests/lean/Tutorial
[lean] aeneas-args=-loops-to-rec