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