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