#include <stdio.h> /* needed for printf */
#include <math.h> /* needed for sqrt */

int main()
{
   double x = sqrt(2.0); /* $x = \sqrt{2}$ */

   printf("x = %f\n", x);

   return 1;
}