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