#ifndef MP_RENDEZVOUS_H_
#define MP_RENDEZVOUS_H_

#include <stdint.h>

intptr_t mp_rendezvous(void *tag, intptr_t value);

#endif