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