(if ,__1
    (mv ,__0 (s->f (con (f->s ,__1) "/" (filename ,__0))))
    (mv ,__0 ,__1))