1  /* Overloaded builtins have been ported to C++: nothing is needed
       2     in the header anymore.  This file intentionally left void.  */