template<in-object InObj1, in-object InObj2, out-object OutObj>
void add(InObj1 x, InObj2 y, OutObj z);
template<class ExecutionPolicy, in-object InObj1, in-object InObj2, out-object OutObj>
void add(ExecutionPolicy&& exec,
InObj1 x, InObj2 y, OutObj z);