type-judging functions appended for message