sS unicode_fullWidth_v1(S s) {
  ret codePointsToString(map(codepoints(s), cp -> cp == ' ' ? cp : cp+0xFEE0));
}