#include extern void* _RENDEZVOUS(void*, void*); void* rendezvous(void* tag, void* value) { return _RENDEZVOUS(tag, value); }