sS unicode_DEL() {
  ret unicodeFromCodePoint(0x2421);
}