> Thanks. Which file is it in?

frontends/csound/csound_main.c