#ifndef ADDER_H
#define ADDER_H
// silly name, but it's required...
void *adder(void *raw_mailbox_id);
#endif