/* This header is never to have its contents visible, but it should
   still receive the optimization.  */

#ifndef MIX_H
#define MIX_H

#define main wibble

#endif