extern void a();