Sorry for not mentioning this earlier, but can we also have "proc run" with symbol files enabled? This is the third major way to use the compiler.