Hi, thanks for the reply.

The thing is that .cas is what I need.

That's why I hope there is some command for it. I mean, there must be, but I don't think they are documented. It is like the command:

(set! checkpoint/check-filename "./check-fluent")

I found it online and is useful, but I don't think it will be in the help.

So, if anyone has access to such commands, I would appreciate it.