void test(double a) {}
int main() { test(3.0); }