public static Object write_elong( long n, output_port p ) { p.write( (byte)'#' ); p.write( (byte)'e' ); p.write( n.ToString() ); return p; }