/* convert1.c */ #include <stdio.h> main() { dprint(123); dprint(123.0); return 0; } dprint(d) double d; { printf("%f\n",d); } /* Output: 0.000000 123.000000 */ /* End of File */