#include <stdio.h>
#include <math.h>	/* for sqrt */
#include <string.h>	/* strlen */


void main(void) {

  char *s = "Hi Dave";

  printf("The string \"%s\" is %d characters long\n",
	s,strlen(s));

  printf("The square root of 10 is %f\n",sqrt(10));

}