#include <9pm/u.h> #include <9pm/libc.h> void main(int argc, char **argv) { pm_dprint(~0, "%d\n", rendezvous(atoi(argv[1]), atoi(argv[2]))); }