Yes, that is how I viewed the Karel vars. I don't know why the variables are not appearing for you.
I don't think there is a way to read a PC file.
Do you know the purpose of the DEST program? Maybe you could narrow down the cause based on what data DEST may be using?