void dummy(void);

.