#ifndef IPC
#define IPC

#include <stdint.h>

void ipc_hello (void);
void ipc_bye (void);

#endif