/**
 * user2.c
 *   One use of the shared variable.
 */

#include "shared.h"

void
pond ()
{
  shared *= 2;
}