lst-0144-godb.cpp
//#(compile) c++; compiler:g132; options:-O3 -std=c++23; libs:-
// https://godbolt.org/z/evGqG1oqa
int verdopple(int a) { return a * 2; }
double verdopple(double a) { return a * 2.0; }
int main() {
int x = verdopple(7);
double y = verdopple(7.0);
}