/****
 *
 * Program to print the values of different types, with proper spacing.
 * It should print a as "7", b as "15.2594", and c as "something".
 *
 ****/

#include <stdio.h>

int
main (void)
{
  int a = 7;
  double b = 15.2594;
  char * c = "something";

  printf ("The value of a is %d.\n", a);
  printf ("The value of b is %.4lf.\n", b);
  printf ("The value of c is %9s.\n", c);

  return 0;
} // main
