“This method has been used by the author (along with another program that optimizes code emulating state machines) to write the C library function printf in only 500 bytes.”

I wonder how big libc would have been if they applied Superoptimizer to all its functions.