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