Message argument requirement checking