#!/bin/sh
# comment \
exec tclsh "$0" "$@"

foreach v $argv {
  set f [open $v r]
  set all [read $f]
  close $f
  regsub -all "(\\(\[Cc]\[0-9\]+\\)) (\[^:]\[^;\$]+\[;\$])" $all "\\1 <eval program=maxima doinsert=0>\\2</eval>" ans
  set f [open $v w]
  puts -nonewline $f $ans
  close $f
}