#include <stdio.h>
#include <stdlib.h>

void
bar (void)
{
  printf ("Called DSO.\n");
}