This file produce a compilation error, it's just pushed for the sake
of code review.