static void print_buffer_int(void *buf, int len, char *msg, int rank)
{
static void print_buffer_int(void *buf, int len, char *msg, int rank)
{
printf("[%d] %s (#%d): ", rank, msg, len);
for (int tmp = 0; tmp < len; tmp++) {
printf("[%d] %s (#%d): ", rank, msg, len);
for (int tmp = 0; tmp < len; tmp++) {