sS unicode_thumbsDown() {
  ret unicodeFromCodePoint(0x1F44E);
}