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

#include "shared.h"

void
frog ()
{
  shared += 5;
}