int SD(double x) { return x+1; } // twice(SD) rejected