+ printf "# model: %s\n", model
+ printf "# MODEL: %s\n", MODEL
+ printf "# echo: %s\n", echo
+ printf "# subset: %s\n", subset
+ printf "# crenames: %s\n", crenames
+ printf "# cxxrenames: %s\n", cxxrenames
+ printf "# traces: %s\n", traces
+ printf "# srcdir: %s\n", srcdir