corrected int32_t -> int casting when decoding message