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