#include $input double x; void main () { x = 1.0; }