It's not a problem. If there are no commands for file IO, then there can be no file IO. The only thing you can not decide in the general case is if there are fi

It's not a problem. If there are no commands for file IO, then there can be no file IO. The only thing you can not decide in the general case is if there are file IO commands if they will get executed or not. But even that is no problem, as you can just block/not implement the file IO commands.