(define (xtmcas name e . args)
(let* ((a (cas-xtm-to-string `(,name ,e ,@args)))
(b (regex:replace-all a "}" "\)"))
(c (regex:replace-all b "{" "\("))
(res1 (cptr->string (cas2xtm_scm (cptr->string (casppoff c))))))
(string->sexpr res1)))