f is never used here. So it should report a violation