Talk:Avg cfv.class/@comment-24063328-20131017230153

The script looks good to me.

The file function is inconsistent. It violates the convention that string constants can be concatenated and will not substitute the values of variables contained within them. It would have worked had you given it doublequote-apostrophe-prefix-apostrophe-.smt-doublequote for a parameter. That is, if you'd told it to substitute the contents of prefix within the doublequotes containing the string .smt  (This font is unfortunate in that you can't distinguish doublequote-apostrophe from apostrophe-doublequote.) The SYMBOL command also allows you to substitute within the doublequotes.