non-deducible1.C revision f8056f83
1