#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" );
}
finish_a1( void )
printf( "finish_a1\n" );