use of out-of-band characters (Unicode) in programming languages and intermedidate forms