extern void b();