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