/* display the current directional light vector */

printf ("The directional light vector is (%g, %g, %g)\n", 
  aw_float (AW_WORLD_LIGHT_X), aw_float (AW_WORLD_LIGHT_Y), 
  aw_float (AW_WORLD_LIGHT_Z));