SUMMARY OF PROBLEM

4. This workaround makes the problem go away

   uc_i := unencoded_code (i + 1).to_character_32
   if uc_i.is_space then