overloaded_fun now supports old-style nondirect harmony proxy