[rurban]

How about an optimizing C compiler, which warns on dead code removal, and undefined behaviour abuse. People call it the boring compiler project.