we have to research how to set correctly the msgh_bits field in sender and receiver