public static Object display_ucs2string( char[] s, output_port p ) { p.write( new String( s ) ); return p; }