example of file that is too big for fault localization