#include <stdio.h>

extern void start_a1( void ) __attribute__((constructor));

extern void finish_a1( void ) __attribute__((destructor));

void

start_a1( void )

{

  printf( "start_a1\n" );

}

void

finish_a1( void )

{

  printf( "finish_a1\n" );

}