Should we mention that this is intended to help to detect dead code?