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