double a=3.0, b=3.0; void main(void) { volatile float c; c = a + b; }