#include <stdio.h>

extern void start_a3( void ) __attribute__((constructor));
extern void finish_a3( void ) __attribute__((destructor));

void
start_a3( void )
{
  printf( "start_a3\n" );
}

void
finish_a3( void )
{
  printf( "finish_a3\n" );
}