Clone in a terminal: Copy

extern void a();