bigloo.foreign.write_char C# (CSharp) Method

        public static Object write_char( bchar c, output_port p )
        {
            int cn= c.value & 0xFF;

            if ((0 < cn) && (cn < 128))
            {
               String rep= char_name[cn];

               if (rep.Length != 0)
               {
              p.write( "#\\" );
              p.write( rep );
              return p;
               }
            }

            p.write( "#a" );
            p.write( ((byte)'0') + (cn / 100) );
            p.write( ((byte)'0') + ((cn / 10) % 10) );
            p.write( ((byte)'0') + (cn % 10) );

            return p;
        }