check: size of message must be a bounded positive number