-void print_buffer_int( void *buf, int len, const char *msg, int rank) ;
-void print_buffer_int( void *buf, int len, const char *msg, int rank) {
+void print_buffer_int( void *buf, int len, char *msg, int rank) ;
+void print_buffer_int( void *buf, int len, char *msg, int rank) {