template T diff(T a, T b) { return a - b; }