C source scanner is not useful here: sources are no longer C!