I'm expecting us to use the CodeContext objects here too, instead of the filename as the argument.