//# 79 errors, 357 messages
//#
package net.miginfocom;
    //#Base64.java:1:1: class: net.miginfocom.Base64

import java.util.Arrays;

/** A very fast and memory efficient class to encode and decode to and from BASE64 in full accordance
 * with RFC 2045.<br><br>
 * On Windows XP sp1 with 1.4.2_04 and later ;), this encoder and decoder is about 10 times faster
 * on small arrays (10 - 1000 bytes) and 2-3 times as fast on larger arrays (10000 - 1000000 bytes)
 * compared to <code>sun.misc.Encoder()/Decoder()</code>.<br><br>
 *
 * On byte arrays the encoder is about 20% faster than Jakarta Commons Base64 Codec for encode and
 * about 50% faster for decoding large arrays. This implementation is about twice as fast on very small
 * arrays (&lt 30 bytes). If source/destination is a <code>String</code> this
 * version is about three times as fast due to the fact that the Commons Codec result has to be recoded
 * to a <code>String</code> from <code>byte[]</code>, which is very expensive.<br><br>
 *
 * This encode/decode algorithm doesn't create any temporary arrays as many other codecs do, it only
 * allocates the resulting array. This produces less garbage and it is possible to handle arrays twice
 * as large as algorithms that create a temporary array. (E.g. Jakarta Commons Codec). It is unknown
 * whether Sun's <code>sun.misc.Encoder()/Decoder()</code> produce temporary arrays but since performance
 * is quite low it probably does.<br><br>
 *
 * The encoder produces the same output as the Sun one except that the Sun's encoder appends
 * a trailing line separator if the last character isn't a pad. Unclear why but it only adds to the
 * length and is probably a side effect. Both are in conformance with RFC 2045 though.<br>
 * Commons codec seem to always att a trailing line separator.<br><br>
 *
 * <b>Note!</b>
 * The encode/decode method pairs (types) come in three versions with the <b>exact</b> same algorithm and
 * thus a lot of code redundancy. This is to not create any temporary arrays for transcoding to/from different
 * format types. The methods not used can simply be commented out.<br><br>
 *
 * There is also a "fast" version of all decode methods that works the same way as the normal ones, but
 * har a few demands on the decoded input. Normally though, these fast verions should be used if the source if
 * the input is known and it hasn't bee tampered with.<br><br>
 *
 * If you find the code useful or you find a bug, please send me a note at base64 @ miginfocom . com.
 *
 * Licence (BSD):
 * ==============
 *
 * Copyright (c) 2004, Mikael Grev, MiG InfoCom AB. (base64 @ miginfocom . com)
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without modification,
 * are permitted provided that the following conditions are met:
 * Redistributions of source code must retain the above copyright notice, this list
 * of conditions and the following disclaimer.
 * Redistributions in binary form must reproduce the above copyright notice, this
 * list of conditions and the following disclaimer in the documentation and/or other
 * materials provided with the distribution.
 * Neither the name of the MiG InfoCom AB nor the names of its contributors may be
 * used to endorse or promote products derived from this software without specific
 * prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
 * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY
 * OF SUCH DAMAGE.
 *
 * @version 2.2
 * @author Mikael Grev
 *         Date: 2004-aug-02
 *         Time: 11:31:11
 */

public class Base64
    //#Base64.java:73: method: void net.miginfocom.Base64.net.miginfocom.Base64()
    //#Base64.java:73: end of method: void net.miginfocom.Base64.net.miginfocom.Base64()
{
	private static final char[] CA = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/".toCharArray();
    //#Base64.java:75: method: net.miginfocom.Base64.net.miginfocom.Base64__static_init
    //#output(net.miginfocom.Base64__static_init): CA
    //#output(net.miginfocom.Base64__static_init): IA
    //#output(net.miginfocom.Base64__static_init): __Descendant_Table[net/miginfocom/Base64]
    //#output(net.miginfocom.Base64__static_init): new int[](Base64__static_init#1) num objects
    //#output(net.miginfocom.Base64__static_init): IA.length
    //#output(net.miginfocom.Base64__static_init): IA[0..60, 62..65_535]
    //#output(net.miginfocom.Base64__static_init): IA[61]
    //#new obj(net.miginfocom.Base64__static_init): new int[](Base64__static_init#1)
    //#presumption(net.miginfocom.Base64__static_init): CA.length@75 <= 4_294_967_295
    //#presumption(net.miginfocom.Base64__static_init): CA[i]@75 <= 255
    //#presumption(net.miginfocom.Base64__static_init): CA[i]@75 <= 255
    //#presumption(net.miginfocom.Base64__static_init): CA[i]@75 <= 255
    //#post(net.miginfocom.Base64__static_init): CA != null
    //#post(net.miginfocom.Base64__static_init): IA == &new int[](Base64__static_init#1)
    //#post(net.miginfocom.Base64__static_init): __Descendant_Table[net/miginfocom/Base64] == &__Dispatch_Table
    //#post(net.miginfocom.Base64__static_init): new int[](Base64__static_init#1) num objects == 1
    //#post(net.miginfocom.Base64__static_init): IA.length == 256
    //#post(net.miginfocom.Base64__static_init): init'ed(IA[0..60, 62..65_535])
    //#post(net.miginfocom.Base64__static_init): IA[61] == 0
	private static final int[] IA = new int[256];
	static {
		Arrays.fill(IA, -1);
		for (int i = 0, iS = CA.length; i < iS; i++)
			IA[CA[i]] = i;
		IA['='] = 0;
	}
    //#Base64.java:82: end of method: net.miginfocom.Base64.net.miginfocom.Base64__static_init

	// ****************************************************************************************
	// *  char[] version
	// ****************************************************************************************

	/** Encodes a raw byte array into a BASE64 <code>char[]</code> representation i accordance with RFC 2045.
	 * @param sArr The bytes to convert. If <code>null</code> or length 0 an empty array will be returned.
	 * @param lineSep Optional "\r\n" after 76 characters, unless end of file.<br>
	 * No line separator will be in breach of RFC 2045 which specifies max 76 per line but will be a
	 * little faster.
	 * @return A BASE64 encoded array. Never <code>null</code>.
	 */
	public final static char[] encodeToChar(byte[] sArr, boolean lineSep)
	{
		// Check special case
		int sLen = sArr != null ? sArr.length : 0;
    //#Base64.java:98: method: char[] net.miginfocom.Base64.encodeToChar(byte[], bool)
    //#Base64.java:98: Warning: suspicious precondition
    //#    The precondition for sArr.length is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    suspicious precondition index: [8]
    //#    Attribs:  Soft
    //#input(char[] encodeToChar(byte[], bool)): CA
    //#input(char[] encodeToChar(byte[], bool)): lineSep
    //#input(char[] encodeToChar(byte[], bool)): sArr
    //#input(char[] encodeToChar(byte[], bool)): sArr.length
    //#input(char[] encodeToChar(byte[], bool)): sArr[0..4_294_967_295]
    //#output(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#1) num objects
    //#output(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#1).length
    //#output(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#2) num objects
    //#output(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#2).length
    //#output(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#2)[0..4_294_967_295]
    //#output(char[] encodeToChar(byte[], bool)): return_value
    //#new obj(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#1)
    //#new obj(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#2)
    //#pre[8] (char[] encodeToChar(byte[], bool)): (soft) sArr.length in {0, 3..169_538_366}
    //#pre[9] (char[] encodeToChar(byte[], bool)): (soft) init'ed(sArr[0..4_294_967_295])
    //#presumption(char[] encodeToChar(byte[], bool)): (((sArr[(sLen - 1)] mod 256)*4) mod 4_294_967_296 | (sArr[eLen] mod 256)*1_024) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(char[] encodeToChar(byte[], bool)): (sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(char[] encodeToChar(byte[], bool)): java.lang.String:toCharArray(...)@75.length >= 1
    //#presumption(char[] encodeToChar(byte[], bool)): init'ed(java.lang.String:toCharArray(...)@75[0..63])
    //#presumption(char[] encodeToChar(byte[], bool)): shr(((sArr[(sLen - 1)] mod 256)*4) mod 4_294_967_296 | (sArr[eLen] mod 256)*1_024, 12) < java.lang.String:toCharArray(...)@75.length
    //#presumption(char[] encodeToChar(byte[], bool)): ushr(((sArr[(sLen - 1)] mod 256)*4) mod 4_294_967_296 | (sArr[eLen] mod 256)*1_024, 6) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(char[] encodeToChar(byte[], bool)): ushr(sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256, 12) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(char[] encodeToChar(byte[], bool)): ushr(sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256, 18) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(char[] encodeToChar(byte[], bool)): ushr(sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256, 6) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#post(char[] encodeToChar(byte[], bool)): return_value in Addr_Set{&new char[](encodeToChar#2),&new char[](encodeToChar#1)}
    //#post(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#1) num objects <= 1
    //#post(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#1).length == 0
    //#post(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#2) num objects <= 1
    //#post(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#2).length == (((One-of{sArr.length, 0} - 1)/3)*4 + 4) mod 4_294_967_296 + One-of{((((((One-of{sArr.length, 0} - 1)/3)*4 + 4) mod 4_294_967_296 - 1)/76)*2) mod 4_294_967_296, 0}
    //#post(char[] encodeToChar(byte[], bool)): new char[](encodeToChar#2).length in {4..231_999_870}
    //#post(char[] encodeToChar(byte[], bool)): possibly_updated(new char[](encodeToChar#2)[0..4_294_967_295])
    //#test_vector(char[] encodeToChar(byte[], bool)): lineSep: {0}, {1}
		if (sLen == 0)
			return new char[0];

		int eLen = (sLen / 3) * 3;              // Length of even 24-bits.
		int cCnt = ((sLen - 1) / 3 + 1) << 2;   // Returned character count
		int dLen = cCnt + (lineSep ? (cCnt - 1) / 76 << 1 : 0); // Length of returned array
		char[] dArr = new char[dLen];

		// Encode even 24-bits
		for (int s = 0, d = 0, cc = 0; s < eLen;) {
			// Copy next three bytes into lower 24 bits of int, paying attension to sign.
			int i = (sArr[s++] & 0xff) << 16 | (sArr[s++] & 0xff) << 8 | (sArr[s++] & 0xff);
    //#Base64.java:110: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: s < sArr.length
    //#    VN: -(s - sArr.length)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:110: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: s < sArr.length
    //#    VN: -((s - sArr.length) + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:110: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: s < sArr.length
    //#    VN: -((s - sArr.length) + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// Encode the int into four chars
			dArr[d++] = CA[(i >>> 18) & 0x3f];
    //#Base64.java:113: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -(d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296))
    //#    Expected: {1..+Inf}
    //#    Bad: {-109_894_676..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = CA[(i >>> 12) & 0x3f];
    //#Base64.java:114: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -((d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296)) + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = CA[(i >>> 6) & 0x3f];
    //#Base64.java:115: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -((d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296)) + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = CA[i & 0x3f];
    //#Base64.java:116: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -((d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296)) + 3)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// Add optional line separator
			if (lineSep && ++cc == 19 && d < dLen - 2) {
    //#Base64.java:119: ?overflow
    //#    cc in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: char[] encodeToChar(byte[], bool)
    //#    basic block: bb_12
    //#    assertion: cc in {-2_147_483_649..4_294_967_294}
    //#    VN: cc + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
				dArr[d++] = '\r';
				dArr[d++] = '\n';
				cc = 0;
			}
		}

		// Pad and encode last bits if source isn't even 24 bits.
		int left = sLen - eLen; // 0 - 2.
		if (left > 0) {
			// Prepare the int
			int i = ((sArr[eLen] & 0xff) << 10) | (left == 2 ? ((sArr[sLen - 1] & 0xff) << 2) : 0);

			// Set last four chars
			dArr[dLen - 4] = CA[i >> 12];
			dArr[dLen - 3] = CA[(i >>> 6) & 0x3f];
			dArr[dLen - 2] = left == 2 ? CA[i & 0x3f] : '=';
			dArr[dLen - 1] = '=';
		}
		return dArr;
    //#Base64.java:138: end of method: char[] net.miginfocom.Base64.encodeToChar(byte[], bool)
	}

	/** Decodes a BASE64 encoded char array. All illegal characters will be ignored and can handle both arrays with
	 * and without line separators.
	 * @param sArr The source array. <code>null</code> or length 0 will return an empty array.
	 * @return The decoded array of bytes. May be of length 0. Will be <code>null</code> if the legal characters
	 * (including '=') isn't divideable by 4.  (I.e. definitely corrupted).
	 */
	public final static byte[] decode(char[] sArr)
	{
		// Check special case
		int sLen = sArr != null ? sArr.length : 0;
    //#Base64.java:150: method: byte[] net.miginfocom.Base64.decode(char[])
    //#input(byte[] decode(char[])): IA
    //#input(byte[] decode(char[])): IA.length
    //#input(byte[] decode(char[])): IA[0..65_535]
    //#input(byte[] decode(char[])): sArr
    //#input(byte[] decode(char[])): sArr.length
    //#input(byte[] decode(char[])): sArr[0..4_294_967_295]
    //#output(byte[] decode(char[])): new byte[](decode#1) num objects
    //#output(byte[] decode(char[])): new byte[](decode#1).length
    //#output(byte[] decode(char[])): new byte[](decode#2) num objects
    //#output(byte[] decode(char[])): new byte[](decode#2).length
    //#output(byte[] decode(char[])): new byte[](decode#2)[0..4_294_967_295]
    //#output(byte[] decode(char[])): return_value
    //#new obj(byte[] decode(char[])): new byte[](decode#1)
    //#new obj(byte[] decode(char[])): new byte[](decode#2)
    //#pre[1] (byte[] decode(char[])): (soft) init'ed(IA[0..65_535])
    //#pre[3] (byte[] decode(char[])): (soft) sArr.length <= 4_294_967_295
    //#pre[4] (byte[] decode(char[])): (soft) sArr[0..4_294_967_295] <= 255
    //#post(byte[] decode(char[])): return_value in Addr_Set{null,&new byte[](decode#2),&new byte[](decode#1)}
    //#post(byte[] decode(char[])): new byte[](decode#1) num objects <= 1
    //#post(byte[] decode(char[])): new byte[](decode#1).length == 0
    //#post(byte[] decode(char[])): new byte[](decode#2) num objects <= 1
    //#post(byte[] decode(char[])): new byte[](decode#2).length in {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, 48, 51, 54, 57, 60, 63, 66, 69, 72, 75, 78, 81, 84, 87, 90, 93, 96, 99, 102, 105, 108, 111, 114, 117, 120, 123, 126, 129, 132, 135, 138, 141, 144, 147, 150, 153, 156, 159, 162, 165, 168, 171, 174, 177, 180, 183, 186, 189, 192, 195, 198, 201, 204, 207, 210, 213, 216, 219, 222, 225, 228, 231, 234, 237, 240, 243, 246, 249, 252, 255, 258, 261, 264, 267, 270, 273, 276, 279, 282, 285, 288, 291, 294, 297, 300, 303, 306, 309, 312, 315, 318, 321, 324, 327, 330..4_294_967_295}
    //#post(byte[] decode(char[])): possibly_updated(new byte[](decode#2)[0..4_294_967_295])
    //#test_vector(byte[] decode(char[])): IA[0..65_535]: {1..4_294_967_295}, {-2_147_483_648..-1}
    //#test_vector(byte[] decode(char[])): sArr[0..4_294_967_295]: {0..60, 62..255}, {61}
		if (sLen == 0)
			return new byte[0];

		// Count illegal characters (including '\r', '\n') to know what size the returned array will be,
		// so we don't have to reallocate & copy it later.
		int sepCnt = 0; // Number of separator characters. (Actually illegal characters, but that's a bonus...)
		for (int i = 0; i < sLen; i++)  // If input is "pure" (I.e. no line separators or illegal chars) base64 this loop can be commented out.
			if (IA[sArr[i]] < 0)
				sepCnt++;

		// Check so that legal chars (including '=') are evenly divideable by 4 as specified in RFC 2045.
		if ((sLen - sepCnt) % 4 != 0)
			return null;

		int pad = 0;
		for (int i = sLen; i > 1 && IA[sArr[--i]] <= 0;)
			if (sArr[i] == '=')
				pad++;
    //#Base64.java:168: ?overflow
    //#    pad in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(char[])
    //#    basic block: bb_17
    //#    assertion: pad in {-2_147_483_649..4_294_967_294}
    //#    VN: pad + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp

		int len = ((sLen - sepCnt) * 6 >> 3) - pad;
    //#Base64.java:170: ?overflow
    //#    shr((sLen - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(char[])
    //#    basic block: bb_18
    //#    assertion: shr((sLen - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    VN: -(pad - shr(-(sepCnt - sArr.length)*6, 3))
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_294_967_295..-2_147_483_649, 4_294_967_296..5_368_709_108}
    //#    Attribs:  Int  Bad < Exp  Bad > Exp

		byte[] dArr = new byte[len];       // Preallocate byte[] of exact length
    //#Base64.java:172: ?overflow
    //#    len >= 0
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(char[])
    //#    basic block: bb_18
    //#    assertion: len >= 0
    //#    VN: -(pad - shr(-(sepCnt - sArr.length)*6, 3))
    //#    Expected: {0..+Inf, Invalid}
    //#    Bad: {-2_147_483_648..-1}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp

		for (int s = 0, d = 0; d < len;) {
			// Assemble three bytes into an int from four "valid" characters.
			int i = 0;
			for (int j = 0; j < 4; j++) {   // j only increased if a valid char was found.
				int c = IA[sArr[s++]];
    //#Base64.java:178: ?overflow
    //#    s in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(char[])
    //#    basic block: bb_22
    //#    assertion: s in {-2_147_483_649..4_294_967_294}
    //#    VN: s + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:178: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(char[])
    //#    basic block: bb_22
    //#    assertion: s < sArr.length
    //#    VN: -(s - sArr.length)
    //#    Expected: {1..+Inf}
    //#    Bad: {-4_294_967_294..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
				if (c >= 0)
				    i |= c << (18 - j * 6);
				else
					j--;
			}
			// Add the bytes
			dArr[d++] = (byte) (i >> 16);
			if (d < len) {
				dArr[d++]= (byte) (i >> 8);
				if (d < len)
					dArr[d++] = (byte) i;
			}
		}
		return dArr;
    //#Base64.java:192: end of method: byte[] net.miginfocom.Base64.decode(char[])
	}

	/** Decodes a BASE64 encoded char array that is known to be resonably well formatted. The method is about twice as
	 * fast as {@link #decode(char[])}. The preconditions are:<br>
	 * + The array must have a line length of 76 chars OR no line separators at all (one line).<br>
	 * + Line separator must be "\r\n", as specified in RFC 2045
	 * + The array must not contain illegal characters within the encoded string<br>
	 * + The array CAN have illegal characters at the beginning and end, those will be dealt with appropriately.<br>
	 * @param sArr The source array. Length 0 will return an empty array. <code>null</code> will throw an exception.
	 * @return The decoded array of bytes. May be of length 0.
	 */
	public final static byte[] decodeFast(char[] sArr)
	{
		// Check special case
		int sLen = sArr.length;
    //#Base64.java:207: method: byte[] net.miginfocom.Base64.decodeFast(char[])
    //#Base64.java:207: Warning: suspicious precondition
    //#    The precondition for sArr.length is not a contiguous range of values
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    suspicious precondition index: [11]
    //#input(byte[] decodeFast(char[])): IA
    //#input(byte[] decodeFast(char[])): IA.length
    //#input(byte[] decodeFast(char[])): IA[0..65_535]
    //#input(byte[] decodeFast(char[])): sArr
    //#input(byte[] decodeFast(char[])): sArr.length
    //#input(byte[] decodeFast(char[])): sArr[0..75, 77..4_294_967_295]
    //#input(byte[] decodeFast(char[])): sArr[76]
    //#output(byte[] decodeFast(char[])): new byte[](decodeFast#1) num objects
    //#output(byte[] decodeFast(char[])): new byte[](decodeFast#1).length
    //#output(byte[] decodeFast(char[])): new byte[](decodeFast#2) num objects
    //#output(byte[] decodeFast(char[])): new byte[](decodeFast#2).length
    //#output(byte[] decodeFast(char[])): new byte[](decodeFast#2)[0..4_294_967_295]
    //#output(byte[] decodeFast(char[])): return_value
    //#new obj(byte[] decodeFast(char[])): new byte[](decodeFast#1)
    //#new obj(byte[] decodeFast(char[])): new byte[](decodeFast#2)
    //#pre[10] (byte[] decodeFast(char[])): sArr != null
    //#pre[11] (byte[] decodeFast(char[])): sArr.length in {0, 4..4_294_967_295}
    //#pre[5] (byte[] decodeFast(char[])): (soft) init'ed(IA[0..65_535])
    //#pre[12] (byte[] decodeFast(char[])): (soft) sArr[0..75, 77..4_294_967_295] <= 255
    //#pre[13] (byte[] decodeFast(char[])): (soft) sArr[76] <= 255
    //#post(byte[] decodeFast(char[])): return_value in Addr_Set{&new byte[](decodeFast#2),&new byte[](decodeFast#1)}
    //#post(byte[] decodeFast(char[])): new byte[](decodeFast#1) num objects <= 1
    //#post(byte[] decodeFast(char[])): new byte[](decodeFast#1).length == 0
    //#post(byte[] decodeFast(char[])): new byte[](decodeFast#2) num objects <= 1
    //#post(byte[] decodeFast(char[])): new byte[](decodeFast#2).length <= 2_147_483_648
    //#post(byte[] decodeFast(char[])): possibly_updated(new byte[](decodeFast#2)[0..4_294_967_295])
    //#test_vector(byte[] decodeFast(char[])): IA[0..65_535]: {0..4_294_967_295}, {-2_147_483_648..-1}
    //#test_vector(byte[] decodeFast(char[])): sArr.length: {77..4_294_967_295}, {0}
		if (sLen == 0)
			return new byte[0];

		int sIx = 0, eIx = sLen - 1;    // Start and end index after trimming.

		// Trim illegal chars from start
		while (sIx < eIx && IA[sArr[sIx]] < 0)
			sIx++;

		// Trim illegal chars from end
		while (eIx > 0 && IA[sArr[eIx]] < 0)
			eIx--;

		// get the padding count (=) (0, 1 or 2)
		int pad = sArr[eIx] == '=' ? (sArr[eIx - 1] == '=' ? 2 : 1) : 0;  // Count '=' at end.
    //#Base64.java:222: ?array index out of bounds
    //#    (eIx - 1) >= 0
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_11
    //#    assertion: (eIx - 1) >= 0
    //#    VN: eIx - 1
    //#    Expected: {0..+Inf}
    //#    Bad: {-1}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
		int cCnt = eIx - sIx + 1;   // Content count including possible separators
    //#Base64.java:223: ?overflow
    //#    eIx - sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_15
    //#    assertion: eIx - sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: (eIx - sIx) + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_294_967_293..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
		int sepCnt = sLen > 76 ? (sArr[76] == '\r' ? cCnt / 78 : 0) << 1 : 0;

		int len = ((cCnt - sepCnt) * 6 >> 3) - pad; // The number of decoded bytes
    //#Base64.java:226: ?overflow
    //#    shr((cCnt - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_21
    //#    assertion: shr((cCnt - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    VN: -(__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3))
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_831_838_210..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
		byte[] dArr = new byte[len];       // Preallocate byte[] of exact length
    //#Base64.java:227: ?overflow
    //#    len >= 0
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_21
    //#    assertion: len >= 0
    //#    VN: -(__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3))
    //#    Expected: {0..+Inf, Invalid}
    //#    Bad: {-2_147_483_648..-1}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp

		// Decode all but the last 0 - 2 bytes.
		int d = 0;
		for (int cc = 0, eLen = (len / 3) * 3; d < eLen;) {
			// Assemble three bytes into an int from four "valid" characters.
			int i = IA[sArr[sIx++]] << 18 | IA[sArr[sIx++]] << 12 | IA[sArr[sIx++]] << 6 | IA[sArr[sIx++]];
    //#Base64.java:233: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:233: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -(sIx - sArr.length)
    //#    Expected: {1..+Inf}
    //#    Bad: {-4_294_967_290..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:233: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 2
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:233: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -((sIx - sArr.length) + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:233: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 3
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:233: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -((sIx - sArr.length) + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:233: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 4
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:233: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -((sIx - sArr.length) + 3)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// Add the bytes
			dArr[d++] = (byte) (i >> 16);
    //#Base64.java:236: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) (i >> 8);
    //#Base64.java:237: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) i;
    //#Base64.java:238: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// If line separator, jump over it.
			if (sepCnt > 0 && ++cc == 19) {
    //#Base64.java:241: ?overflow
    //#    cc in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_24
    //#    assertion: cc in {-2_147_483_649..4_294_967_294}
    //#    VN: cc + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
				sIx += 2;
    //#Base64.java:242: ?overflow
    //#    sIx in {-2_147_483_650..4_294_967_293}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_25
    //#    assertion: sIx in {-2_147_483_650..4_294_967_293}
    //#    VN: sIx + 6
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296,4_294_967_297}
    //#    Attribs:  Int  Bad > Exp
				cc = 0;
			}
		}

		if (d < len) {
			// Decode last 1-3 bytes (incl '=') into 1-3 bytes
			int i = 0;
			for (int j = 0; sIx <= eIx - pad; j++)
				i |= IA[sArr[sIx++]] << (18 - j * 6);

			for (int r = 16; d < len; r -= 8)
    //#Base64.java:253: ?overflow
    //#    r in {-2_147_483_640..4_294_967_303}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(char[])
    //#    basic block: bb_33
    //#    assertion: r in {-2_147_483_640..4_294_967_303}
    //#    VN: r - 8
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-2_147_483_656..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
				dArr[d++] = (byte) (i >> r);
		}

		return dArr;
    //#Base64.java:257: end of method: byte[] net.miginfocom.Base64.decodeFast(char[])
	}

	// ****************************************************************************************
	// *  byte[] version
	// ****************************************************************************************

	/** Encodes a raw byte array into a BASE64 <code>byte[]</code> representation i accordance with RFC 2045.
	 * @param sArr The bytes to convert. If <code>null</code> or length 0 an empty array will be returned.
	 * @param lineSep Optional "\r\n" after 76 characters, unless end of file.<br>
	 * No line separator will be in breach of RFC 2045 which specifies max 76 per line but will be a
	 * little faster.
	 * @return A BASE64 encoded array. Never <code>null</code>.
	 */
	public final static byte[] encodeToByte(byte[] sArr, boolean lineSep)
	{
		// Check special case
		int sLen = sArr != null ? sArr.length : 0;
    //#Base64.java:274: method: byte[] net.miginfocom.Base64.encodeToByte(byte[], bool)
    //#Base64.java:274: Warning: suspicious precondition
    //#    The precondition for sArr.length is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    suspicious precondition index: [8]
    //#    Attribs:  Soft
    //#input(byte[] encodeToByte(byte[], bool)): CA
    //#input(byte[] encodeToByte(byte[], bool)): lineSep
    //#input(byte[] encodeToByte(byte[], bool)): sArr
    //#input(byte[] encodeToByte(byte[], bool)): sArr.length
    //#input(byte[] encodeToByte(byte[], bool)): sArr[0..4_294_967_295]
    //#output(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#1) num objects
    //#output(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#1).length
    //#output(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#2) num objects
    //#output(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#2).length
    //#output(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#2)[0..4_294_967_295]
    //#output(byte[] encodeToByte(byte[], bool)): return_value
    //#new obj(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#1)
    //#new obj(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#2)
    //#pre[8] (byte[] encodeToByte(byte[], bool)): (soft) sArr.length in {0, 3..132_343_121}
    //#pre[9] (byte[] encodeToByte(byte[], bool)): (soft) init'ed(sArr[0..4_294_967_295])
    //#presumption(byte[] encodeToByte(byte[], bool)): (((sArr[(sLen - 1)] mod 256)*4) mod 4_294_967_296 | (sArr[eLen] mod 256)*1_024) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(byte[] encodeToByte(byte[], bool)): (sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(byte[] encodeToByte(byte[], bool)): java.lang.String:toCharArray(...)@75.length >= 1
    //#presumption(byte[] encodeToByte(byte[], bool)): init'ed(java.lang.String:toCharArray(...)@75[0..63])
    //#presumption(byte[] encodeToByte(byte[], bool)): shr(((sArr[(sLen - 1)] mod 256)*4) mod 4_294_967_296 | (sArr[eLen] mod 256)*1_024, 12) < java.lang.String:toCharArray(...)@75.length
    //#presumption(byte[] encodeToByte(byte[], bool)): ushr(((sArr[(sLen - 1)] mod 256)*4) mod 4_294_967_296 | (sArr[eLen] mod 256)*1_024, 6) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(byte[] encodeToByte(byte[], bool)): ushr(sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256, 12) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(byte[] encodeToByte(byte[], bool)): ushr(sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256, 18) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#presumption(byte[] encodeToByte(byte[], bool)): ushr(sArr[s] | (sArr[s] mod 256)*65_536 | (sArr[s] mod 256)*256, 6) mod 64 < java.lang.String:toCharArray(...)@75.length
    //#post(byte[] encodeToByte(byte[], bool)): return_value in Addr_Set{&new byte[](encodeToByte#2),&new byte[](encodeToByte#1)}
    //#post(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#1) num objects <= 1
    //#post(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#1).length == 0
    //#post(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#2) num objects <= 1
    //#post(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#2).length == (((One-of{sArr.length, 0} - 1)/3)*4 + 4) mod 4_294_967_296 + One-of{((((((One-of{sArr.length, 0} - 1)/3)*4 + 4) mod 4_294_967_296 - 1)/76)*2) mod 4_294_967_296, 0}
    //#post(byte[] encodeToByte(byte[], bool)): new byte[](encodeToByte#2).length in {4..181_101_114}
    //#post(byte[] encodeToByte(byte[], bool)): possibly_updated(new byte[](encodeToByte#2)[0..4_294_967_295])
    //#test_vector(byte[] encodeToByte(byte[], bool)): lineSep: {0}, {1}
		if (sLen == 0)
			return new byte[0];

		int eLen = (sLen / 3) * 3;                              // Length of even 24-bits.
		int cCnt = ((sLen - 1) / 3 + 1) << 2;                   // Returned character count
		int dLen = cCnt + (lineSep ? (cCnt - 1) / 76 << 1 : 0); // Length of returned array
		byte[] dArr = new byte[dLen];

		// Encode even 24-bits
		for (int s = 0, d = 0, cc = 0; s < eLen;) {
			// Copy next three bytes into lower 24 bits of int, paying attension to sign.
			int i = (sArr[s++] & 0xff) << 16 | (sArr[s++] & 0xff) << 8 | (sArr[s++] & 0xff);
    //#Base64.java:286: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: s < sArr.length
    //#    VN: -(s - sArr.length)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:286: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: s < sArr.length
    //#    VN: -((s - sArr.length) + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:286: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: s < sArr.length
    //#    VN: -((s - sArr.length) + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// Encode the int into four chars
			dArr[d++] = (byte) CA[(i >>> 18) & 0x3f];
    //#Base64.java:289: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -(d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296))
    //#    Expected: {1..+Inf}
    //#    Bad: {-85_784_740..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) CA[(i >>> 12) & 0x3f];
    //#Base64.java:290: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -((d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296)) + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) CA[(i >>> 6) & 0x3f];
    //#Base64.java:291: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -((d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296)) + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) CA[i & 0x3f];
    //#Base64.java:292: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_11
    //#    assertion: d < dArr.length
    //#    VN: -((d - ((((sArr.length - 1)/3)*4 + 4) mod 4_294_967_296 + (((cCnt - 1).76)*2) mod 4_294_967_296)) + 3)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// Add optional line separator
			if (lineSep && ++cc == 19 && d < dLen - 2) {
    //#Base64.java:295: ?overflow
    //#    cc in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] encodeToByte(byte[], bool)
    //#    basic block: bb_12
    //#    assertion: cc in {-2_147_483_649..4_294_967_294}
    //#    VN: cc + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
				dArr[d++] = '\r';
				dArr[d++] = '\n';
				cc = 0;
			}
		}

		// Pad and encode last bits if source isn't an even 24 bits.
		int left = sLen - eLen; // 0 - 2.
		if (left > 0) {
			// Prepare the int
			int i = ((sArr[eLen] & 0xff) << 10) | (left == 2 ? ((sArr[sLen - 1] & 0xff) << 2) : 0);

			// Set last four chars
			dArr[dLen - 4] = (byte) CA[i >> 12];
			dArr[dLen - 3] = (byte) CA[(i >>> 6) & 0x3f];
			dArr[dLen - 2] = left == 2 ? (byte) CA[i & 0x3f] : (byte) '=';
			dArr[dLen - 1] = '=';
		}
		return dArr;
    //#Base64.java:314: end of method: byte[] net.miginfocom.Base64.encodeToByte(byte[], bool)
	}

	/** Decodes a BASE64 encoded byte array. All illegal characters will be ignored and can handle both arrays with
	 * and without line separators.
	 * @param sArr The source array. Length 0 will return an empty array. <code>null</code> will throw an exception.
	 * @return The decoded array of bytes. May be of length 0. Will be <code>null</code> if the legal characters
	 * (including '=') isn't divideable by 4. (I.e. definitely corrupted).
	 */
	public final static byte[] decode(byte[] sArr)
	{
		// Check special case
		int sLen = sArr.length;
    //#Base64.java:326: method: byte[] net.miginfocom.Base64.decode(byte[])
    //#input(byte[] decode(byte[])): IA
    //#input(byte[] decode(byte[])): IA.length
    //#input(byte[] decode(byte[])): IA[0..255]
    //#input(byte[] decode(byte[])): sArr
    //#input(byte[] decode(byte[])): sArr.length
    //#input(byte[] decode(byte[])): sArr[0..4_294_967_295]
    //#output(byte[] decode(byte[])): new byte[](decode#1) num objects
    //#output(byte[] decode(byte[])): new byte[](decode#1).length
    //#output(byte[] decode(byte[])): new byte[](decode#1)[0..4_294_967_295]
    //#output(byte[] decode(byte[])): return_value
    //#new obj(byte[] decode(byte[])): new byte[](decode#1)
    //#pre[2] (byte[] decode(byte[])): sArr != null
    //#pre[1] (byte[] decode(byte[])): (soft) init'ed(IA[0..255])
    //#pre[3] (byte[] decode(byte[])): (soft) sArr.length in {1..4_294_967_295}
    //#pre[4] (byte[] decode(byte[])): (soft) init'ed(sArr[0..4_294_967_295])
    //#post(byte[] decode(byte[])): return_value in Addr_Set{null,&new byte[](decode#1)}
    //#post(byte[] decode(byte[])): new byte[](decode#1) num objects <= 1
    //#post(byte[] decode(byte[])): new byte[](decode#1).length in {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, 48, 51, 54, 57, 60, 63, 66, 69, 72, 75, 78, 81, 84, 87, 90, 93, 96, 99, 102, 105, 108, 111, 114, 117, 120, 123, 126, 129, 132, 135, 138, 141, 144, 147, 150, 153, 156, 159, 162, 165, 168, 171, 174, 177, 180, 183, 186, 189, 192, 195, 198, 201, 204, 207, 210, 213, 216, 219, 222, 225, 228, 231, 234, 237, 240, 243, 246, 249, 252, 255, 258, 261, 264, 267, 270, 273, 276, 279, 282, 285, 288, 291, 294, 297, 300, 303, 306, 309, 312, 315, 318, 321, 324, 327, 330..4_294_967_295}
    //#post(byte[] decode(byte[])): possibly_updated(new byte[](decode#1)[0..4_294_967_295])
    //#test_vector(byte[] decode(byte[])): IA[0..255]: {1..4_294_967_295}, {-2_147_483_648..-1}
    //#test_vector(byte[] decode(byte[])): sArr[0..4_294_967_295]: {-128..60, 62..255}, {61}

		// Count illegal characters (including '\r', '\n') to know what size the returned array will be,
		// so we don't have to reallocate & copy it later.
		int sepCnt = 0; // Number of separator characters. (Actually illegal characters, but that's a bonus...)
		for (int i = 0; i < sLen; i++)      // If input is "pure" (I.e. no line separators or illegal chars) base64 this loop can be commented out.
			if (IA[sArr[i] & 0xff] < 0)
				sepCnt++;

		// Check so that legal chars (including '=') are evenly divideable by 4 as specified in RFC 2045.
		if ((sLen - sepCnt) % 4 != 0)
			return null;

		int pad = 0;
		for (int i = sLen; i > 1 && IA[sArr[--i] & 0xff] <= 0;)
			if (sArr[i] == '=')
				pad++;
    //#Base64.java:342: ?overflow
    //#    pad in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(byte[])
    //#    basic block: bb_12
    //#    assertion: pad in {-2_147_483_649..4_294_967_294}
    //#    VN: pad + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp

		int len = ((sLen - sepCnt) * 6 >> 3) - pad;
    //#Base64.java:344: ?overflow
    //#    shr((sLen - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(byte[])
    //#    basic block: bb_13
    //#    assertion: shr((sLen - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    VN: -(pad - shr(-(sepCnt - sArr.length)*6, 3))
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_294_967_295..-2_147_483_649, 4_294_967_296..5_368_709_108}
    //#    Attribs:  Int  Bad < Exp  Bad > Exp

		byte[] dArr = new byte[len];       // Preallocate byte[] of exact length
    //#Base64.java:346: ?overflow
    //#    len >= 0
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(byte[])
    //#    basic block: bb_13
    //#    assertion: len >= 0
    //#    VN: -(pad - shr(-(sepCnt - sArr.length)*6, 3))
    //#    Expected: {0..+Inf, Invalid}
    //#    Bad: {-2_147_483_648..-1}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp

		for (int s = 0, d = 0; d < len;) {
			// Assemble three bytes into an int from four "valid" characters.
			int i = 0;
			for (int j = 0; j < 4; j++) {   // j only increased if a valid char was found.
				int c = IA[sArr[s++] & 0xff];
    //#Base64.java:352: ?overflow
    //#    s in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(byte[])
    //#    basic block: bb_17
    //#    assertion: s in {-2_147_483_649..4_294_967_294}
    //#    VN: s + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:352: ?array index out of bounds
    //#    s < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(byte[])
    //#    basic block: bb_17
    //#    assertion: s < sArr.length
    //#    VN: -(s - sArr.length)
    //#    Expected: {1..+Inf}
    //#    Bad: {-4_294_967_293..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
				if (c >= 0)
				    i |= c << (18 - j * 6);
				else
					j--;
			}

			// Add the bytes
			dArr[d++] = (byte) (i >> 16);
			if (d < len) {
				dArr[d++]= (byte) (i >> 8);
				if (d < len)
					dArr[d++] = (byte) i;
			}
		}

		return dArr;
    //#Base64.java:368: end of method: byte[] net.miginfocom.Base64.decode(byte[])
	}


	/** Decodes a BASE64 encoded byte array that is known to be resonably well formatted. The method is about twice as
	 * fast as {@link #decode(byte[])}. The preconditions are:<br>
	 * + The array must have a line length of 76 chars OR no line separators at all (one line).<br>
	 * + Line separator must be "\r\n", as specified in RFC 2045
	 * + The array must not contain illegal characters within the encoded string<br>
	 * + The array CAN have illegal characters at the beginning and end, those will be dealt with appropriately.<br>
	 * @param sArr The source array. Length 0 will return an empty array. <code>null</code> will throw an exception.
	 * @return The decoded array of bytes. May be of length 0.
	 */
	public final static byte[] decodeFast(byte[] sArr)
	{
		// Check special case
		int sLen = sArr.length;
    //#Base64.java:384: method: byte[] net.miginfocom.Base64.decodeFast(byte[])
    //#Base64.java:384: Warning: suspicious precondition
    //#    The precondition for sArr.length is not a contiguous range of values
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    suspicious precondition index: [11]
    //#input(byte[] decodeFast(byte[])): IA
    //#input(byte[] decodeFast(byte[])): IA.length
    //#input(byte[] decodeFast(byte[])): IA[0..255]
    //#input(byte[] decodeFast(byte[])): sArr
    //#input(byte[] decodeFast(byte[])): sArr.length
    //#input(byte[] decodeFast(byte[])): sArr[0..75, 77..4_294_967_295]
    //#input(byte[] decodeFast(byte[])): sArr[76]
    //#output(byte[] decodeFast(byte[])): new byte[](decodeFast#1) num objects
    //#output(byte[] decodeFast(byte[])): new byte[](decodeFast#1).length
    //#output(byte[] decodeFast(byte[])): new byte[](decodeFast#2) num objects
    //#output(byte[] decodeFast(byte[])): new byte[](decodeFast#2).length
    //#output(byte[] decodeFast(byte[])): new byte[](decodeFast#2)[0..4_294_967_295]
    //#output(byte[] decodeFast(byte[])): return_value
    //#new obj(byte[] decodeFast(byte[])): new byte[](decodeFast#1)
    //#new obj(byte[] decodeFast(byte[])): new byte[](decodeFast#2)
    //#pre[10] (byte[] decodeFast(byte[])): sArr != null
    //#pre[11] (byte[] decodeFast(byte[])): sArr.length in {0, 4..4_294_967_295}
    //#pre[5] (byte[] decodeFast(byte[])): (soft) init'ed(IA[0..255])
    //#pre[12] (byte[] decodeFast(byte[])): (soft) sArr[0..75, 77..4_294_967_295] >= 0
    //#pre[13] (byte[] decodeFast(byte[])): (soft) sArr[76] >= 0
    //#post(byte[] decodeFast(byte[])): return_value in Addr_Set{&new byte[](decodeFast#2),&new byte[](decodeFast#1)}
    //#post(byte[] decodeFast(byte[])): new byte[](decodeFast#1) num objects <= 1
    //#post(byte[] decodeFast(byte[])): new byte[](decodeFast#1).length == 0
    //#post(byte[] decodeFast(byte[])): new byte[](decodeFast#2) num objects <= 1
    //#post(byte[] decodeFast(byte[])): new byte[](decodeFast#2).length <= 2_147_483_648
    //#post(byte[] decodeFast(byte[])): possibly_updated(new byte[](decodeFast#2)[0..4_294_967_295])
    //#test_vector(byte[] decodeFast(byte[])): IA[0..255]: {0..4_294_967_295}, {-2_147_483_648..-1}
    //#test_vector(byte[] decodeFast(byte[])): sArr.length: {77..4_294_967_295}, {0}
		if (sLen == 0)
			return new byte[0];

		int sIx = 0, eIx = sLen - 1;    // Start and end index after trimming.

		// Trim illegal chars from start
		while (sIx < eIx && IA[sArr[sIx] & 0xff] < 0)
			sIx++;

		// Trim illegal chars from end
		while (eIx > 0 && IA[sArr[eIx] & 0xff] < 0)
			eIx--;

		// get the padding count (=) (0, 1 or 2)
		int pad = sArr[eIx] == '=' ? (sArr[eIx - 1] == '=' ? 2 : 1) : 0;  // Count '=' at end.
    //#Base64.java:399: ?array index out of bounds
    //#    (eIx - 1) >= 0
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_11
    //#    assertion: (eIx - 1) >= 0
    //#    VN: eIx - 1
    //#    Expected: {0..+Inf}
    //#    Bad: {-1}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
		int cCnt = eIx - sIx + 1;   // Content count including possible separators
    //#Base64.java:400: ?overflow
    //#    eIx - sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_15
    //#    assertion: eIx - sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: (eIx - sIx) + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_294_967_293..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
		int sepCnt = sLen > 76 ? (sArr[76] == '\r' ? cCnt / 78 : 0) << 1 : 0;

		int len = ((cCnt - sepCnt) * 6 >> 3) - pad; // The number of decoded bytes
    //#Base64.java:403: ?overflow
    //#    shr((cCnt - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_21
    //#    assertion: shr((cCnt - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    VN: -(__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3))
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_831_838_210..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
		byte[] dArr = new byte[len];       // Preallocate byte[] of exact length
    //#Base64.java:404: ?overflow
    //#    len >= 0
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_21
    //#    assertion: len >= 0
    //#    VN: -(__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3))
    //#    Expected: {0..+Inf, Invalid}
    //#    Bad: {-2_147_483_648..-1}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp

		// Decode all but the last 0 - 2 bytes.
		int d = 0;
		for (int cc = 0, eLen = (len / 3) * 3; d < eLen;) {
			// Assemble three bytes into an int from four "valid" characters.
			int i = IA[sArr[sIx++]] << 18 | IA[sArr[sIx++]] << 12 | IA[sArr[sIx++]] << 6 | IA[sArr[sIx++]];
    //#Base64.java:410: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:410: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -(sIx - sArr.length)
    //#    Expected: {1..+Inf}
    //#    Bad: {-4_294_967_290..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:410: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 2
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:410: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -((sIx - sArr.length) + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:410: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 3
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:410: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -((sIx - sArr.length) + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Base64.java:410: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 4
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:410: ?array index out of bounds
    //#    sIx < sArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: sIx < sArr.length
    //#    VN: -((sIx - sArr.length) + 3)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// Add the bytes
			dArr[d++] = (byte) (i >> 16);
    //#Base64.java:413: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) (i >> 8);
    //#Base64.java:414: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) i;
    //#Base64.java:415: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// If line separator, jump over it.
			if (sepCnt > 0 && ++cc == 19) {
    //#Base64.java:418: ?overflow
    //#    cc in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_24
    //#    assertion: cc in {-2_147_483_649..4_294_967_294}
    //#    VN: cc + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
				sIx += 2;
    //#Base64.java:419: ?overflow
    //#    sIx in {-2_147_483_650..4_294_967_293}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_25
    //#    assertion: sIx in {-2_147_483_650..4_294_967_293}
    //#    VN: sIx + 6
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296,4_294_967_297}
    //#    Attribs:  Int  Bad > Exp
				cc = 0;
			}
		}

		if (d < len) {
			// Decode last 1-3 bytes (incl '=') into 1-3 bytes
			int i = 0;
			for (int j = 0; sIx <= eIx - pad; j++)
				i |= IA[sArr[sIx++]] << (18 - j * 6);

			for (int r = 16; d < len; r -= 8)
    //#Base64.java:430: ?overflow
    //#    r in {-2_147_483_640..4_294_967_303}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(byte[])
    //#    basic block: bb_33
    //#    assertion: r in {-2_147_483_640..4_294_967_303}
    //#    VN: r - 8
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-2_147_483_656..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
				dArr[d++] = (byte) (i >> r);
		}

		return dArr;
    //#Base64.java:434: end of method: byte[] net.miginfocom.Base64.decodeFast(byte[])
	}

	// ****************************************************************************************
	// * String version
	// ****************************************************************************************

	/** Encodes a raw byte array into a BASE64 <code>String</code> representation i accordance with RFC 2045.
	 * @param sArr The bytes to convert. If <code>null</code> or length 0 an empty array will be returned.
	 * @param lineSep Optional "\r\n" after 76 characters, unless end of file.<br>
	 * No line separator will be in breach of RFC 2045 which specifies max 76 per line but will be a
	 * little faster.
	 * @return A BASE64 encoded array. Never <code>null</code>.
	 */
	public final static String encodeToString(byte[] sArr, boolean lineSep)
	{
		// Reuse char[] since we can't create a String incrementally anyway and StringBuffer/Builder would be slower.
		return new String(encodeToChar(sArr, lineSep));
    //#Base64.java:451: method: String net.miginfocom.Base64.encodeToString(byte[], bool)
    //#Base64.java:451: Warning: suspicious precondition
    //#    The precondition for sArr.length is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: String encodeToString(byte[], bool)
    //#    suspicious precondition index: [3]
    //#    Attribs:  Soft
    //#input(String encodeToString(byte[], bool)): CA
    //#input(String encodeToString(byte[], bool)): lineSep
    //#input(String encodeToString(byte[], bool)): sArr
    //#input(String encodeToString(byte[], bool)): sArr.length
    //#input(String encodeToString(byte[], bool)): sArr[0..4_294_967_295]
    //#output(String encodeToString(byte[], bool)): new String(encodeToString#1) num objects
    //#output(String encodeToString(byte[], bool)): return_value
    //#new obj(String encodeToString(byte[], bool)): new String(encodeToString#1)
    //#pre[3] (String encodeToString(byte[], bool)): (soft) sArr.length in {0, 3..169_538_366}
    //#pre[4] (String encodeToString(byte[], bool)): (soft) init'ed(sArr[0..4_294_967_295])
    //#post(String encodeToString(byte[], bool)): return_value == &new String(encodeToString#1)
    //#post(String encodeToString(byte[], bool)): new String(encodeToString#1) num objects == 1
    //#Base64.java:451: end of method: String net.miginfocom.Base64.encodeToString(byte[], bool)
	}

	/** Decodes a BASE64 encoded <code>String</code>. All illegal characters will be ignored and can handle both strings with
	 * and without line separators.<br>
	 * <b>Note!</b> It can be up to about 2x the speed to call <code>decode(str.toCharArray())</code> instead. That
	 * will create a temporary array though. This version will use <code>str.charAt(i)</code> to iterate the string.
	 * @param str The source string. <code>null</code> or length 0 will return an empty array.
	 * @return The decoded array of bytes. May be of length 0. Will be <code>null</code> if the legal characters
	 * (including '=') isn't divideable by 4.  (I.e. definitely corrupted).
	 */
	public final static byte[] decode(String str)
	{
		// Check special case
		int sLen = str != null ? str.length() : 0;
    //#Base64.java:465: method: byte[] net.miginfocom.Base64.decode(String)
    //#input(byte[] decode(String)): IA
    //#input(byte[] decode(String)): IA.length
    //#input(byte[] decode(String)): IA[0..65_535]
    //#input(byte[] decode(String)): str
    //#output(byte[] decode(String)): new byte[](decode#1) num objects
    //#output(byte[] decode(String)): new byte[](decode#1).length
    //#output(byte[] decode(String)): new byte[](decode#2) num objects
    //#output(byte[] decode(String)): new byte[](decode#2).length
    //#output(byte[] decode(String)): new byte[](decode#2)[0..4_294_967_295]
    //#output(byte[] decode(String)): return_value
    //#new obj(byte[] decode(String)): new byte[](decode#1)
    //#new obj(byte[] decode(String)): new byte[](decode#2)
    //#pre[1] (byte[] decode(String)): (soft) init'ed(IA[0..65_535])
    //#presumption(byte[] decode(String)): java.lang.String:charAt(...)@473 <= 255
    //#presumption(byte[] decode(String)): java.lang.String:charAt(...)@482 <= 255
    //#presumption(byte[] decode(String)): java.lang.String:charAt(...)@494 <= 255
    //#post(byte[] decode(String)): return_value in Addr_Set{null,&new byte[](decode#2),&new byte[](decode#1)}
    //#post(byte[] decode(String)): new byte[](decode#1) num objects <= 1
    //#post(byte[] decode(String)): new byte[](decode#1).length == 0
    //#post(byte[] decode(String)): new byte[](decode#2) num objects <= 1
    //#post(byte[] decode(String)): new byte[](decode#2).length in {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, 48, 51, 54, 57, 60, 63, 66, 69, 72, 75, 78, 81, 84, 87, 90, 93, 96, 99, 102, 105, 108, 111, 114, 117, 120, 123, 126, 129, 132, 135, 138, 141, 144, 147, 150, 153, 156, 159, 162, 165, 168, 171, 174, 177, 180, 183, 186, 189, 192, 195, 198, 201, 204, 207, 210, 213, 216, 219, 222, 225, 228, 231, 234, 237, 240, 243, 246, 249, 252, 255, 258, 261, 264, 267, 270, 273, 276, 279, 282, 285, 288, 291, 294, 297, 300, 303, 306, 309, 312, 315, 318, 321, 324, 327, 330..4_294_967_295}
    //#post(byte[] decode(String)): possibly_updated(new byte[](decode#2)[0..4_294_967_295])
    //#test_vector(byte[] decode(String)): IA[0..65_535]: {1..4_294_967_295}, {-2_147_483_648..-1}
    //#test_vector(byte[] decode(String)): java.lang.String:charAt(...)@483: {0..60, 62..65_535}, {61}
		if (sLen == 0)
			return new byte[0];

		// Count illegal characters (including '\r', '\n') to know what size the returned array will be,
		// so we don't have to reallocate & copy it later.
		int sepCnt = 0; // Number of separator characters. (Actually illegal characters, but that's a bonus...)
		for (int i = 0; i < sLen; i++)  // If input is "pure" (I.e. no line separators or illegal chars) base64 this loop can be commented out.
			if (IA[str.charAt(i)] < 0)
				sepCnt++;

		// Check so that legal chars (including '=') are evenly divideable by 4 as specified in RFC 2045.
		if ((sLen - sepCnt) % 4 != 0)
			return null;

		// Count '=' at end
		int pad = 0;
		for (int i = sLen; i > 1 && IA[str.charAt(--i)] <= 0;)
			if (str.charAt(i) == '=')
				pad++;
    //#Base64.java:484: ?overflow
    //#    pad in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(String)
    //#    basic block: bb_17
    //#    assertion: pad in {-2_147_483_649..4_294_967_294}
    //#    VN: pad + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp

		int len = ((sLen - sepCnt) * 6 >> 3) - pad;
    //#Base64.java:486: ?overflow
    //#    shr((sLen - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(String)
    //#    basic block: bb_18
    //#    assertion: shr((sLen - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    VN: -(pad - shr(-(sepCnt - java.lang.String:length(...))*6, 3))
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_294_967_295..-2_147_483_649, 4_294_967_296..5_368_709_108}
    //#    Attribs:  Int  Bad < Exp  Bad > Exp

		byte[] dArr = new byte[len];       // Preallocate byte[] of exact length
    //#Base64.java:488: ?overflow
    //#    len >= 0
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(String)
    //#    basic block: bb_18
    //#    assertion: len >= 0
    //#    VN: -(pad - shr(-(sepCnt - java.lang.String:length(...))*6, 3))
    //#    Expected: {0..+Inf, Invalid}
    //#    Bad: {-2_147_483_648..-1}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp

		for (int s = 0, d = 0; d < len;) {
			// Assemble three bytes into an int from four "valid" characters.
			int i = 0;
			for (int j = 0; j < 4; j++) {   // j only increased if a valid char was found.
				int c = IA[str.charAt(s++)];
    //#Base64.java:494: ?overflow
    //#    s in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decode(String)
    //#    basic block: bb_22
    //#    assertion: s in {-2_147_483_649..4_294_967_294}
    //#    VN: s + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
				if (c >= 0)
				    i |= c << (18 - j * 6);
				else
					j--;
			}
			// Add the bytes
			dArr[d++] = (byte) (i >> 16);
			if (d < len) {
				dArr[d++]= (byte) (i >> 8);
				if (d < len)
					dArr[d++] = (byte) i;
			}
		}
		return dArr;
    //#Base64.java:508: end of method: byte[] net.miginfocom.Base64.decode(String)
	}

	/** Decodes a BASE64 encoded string that is known to be resonably well formatted. The method is about twice as
	 * fast as {@link #decode(String)}. The preconditions are:<br>
	 * + The array must have a line length of 76 chars OR no line separators at all (one line).<br>
	 * + Line separator must be "\r\n", as specified in RFC 2045
	 * + The array must not contain illegal characters within the encoded string<br>
	 * + The array CAN have illegal characters at the beginning and end, those will be dealt with appropriately.<br>
	 * @param s The source string. Length 0 will return an empty array. <code>null</code> will throw an exception.
	 * @return The decoded array of bytes. May be of length 0.
	 */
	public final static byte[] decodeFast(String s)
	{
		// Check special case
		int sLen = s.length();
    //#Base64.java:523: method: byte[] net.miginfocom.Base64.decodeFast(String)
    //#input(byte[] decodeFast(String)): IA
    //#input(byte[] decodeFast(String)): IA.length
    //#input(byte[] decodeFast(String)): IA[0..65_535]
    //#input(byte[] decodeFast(String)): s
    //#output(byte[] decodeFast(String)): new byte[](decodeFast#1) num objects
    //#output(byte[] decodeFast(String)): new byte[](decodeFast#1).length
    //#output(byte[] decodeFast(String)): new byte[](decodeFast#2) num objects
    //#output(byte[] decodeFast(String)): new byte[](decodeFast#2).length
    //#output(byte[] decodeFast(String)): new byte[](decodeFast#2)[0..4_294_967_295]
    //#output(byte[] decodeFast(String)): return_value
    //#new obj(byte[] decodeFast(String)): new byte[](decodeFast#1)
    //#new obj(byte[] decodeFast(String)): new byte[](decodeFast#2)
    //#pre[2] (byte[] decodeFast(String)): s != null
    //#pre[1] (byte[] decodeFast(String)): (soft) init'ed(IA[0..65_535])
    //#presumption(byte[] decodeFast(String)): java.lang.String:charAt(...)@549 <= 255
    //#presumption(byte[] decodeFast(String)): java.lang.String:charAt(...)@549 <= 255
    //#presumption(byte[] decodeFast(String)): java.lang.String:charAt(...)@549 <= 255
    //#presumption(byte[] decodeFast(String)): java.lang.String:charAt(...)@549 <= 255
    //#presumption(byte[] decodeFast(String)): java.lang.String:charAt(...)@567 <= 255
    //#presumption(byte[] decodeFast(String)): java.lang.String:length(...)@523 not in {1..3}
    //#post(byte[] decodeFast(String)): return_value in Addr_Set{&new byte[](decodeFast#2),&new byte[](decodeFast#1)}
    //#post(byte[] decodeFast(String)): new byte[](decodeFast#1) num objects <= 1
    //#post(byte[] decodeFast(String)): new byte[](decodeFast#1).length == 0
    //#post(byte[] decodeFast(String)): new byte[](decodeFast#2) num objects <= 1
    //#post(byte[] decodeFast(String)): new byte[](decodeFast#2).length <= 2_147_483_648
    //#post(byte[] decodeFast(String)): possibly_updated(new byte[](decodeFast#2)[0..4_294_967_295])
    //#test_vector(byte[] decodeFast(String)): IA[0..65_535]: {0..4_294_967_295}, {-2_147_483_648..-1}
    //#test_vector(byte[] decodeFast(String)): java.lang.String:length(...)@523: {77..4_294_967_295}, {0}
		if (sLen == 0)
			return new byte[0];

		int sIx = 0, eIx = sLen - 1;    // Start and end index after trimming.

		// Trim illegal chars from start
		while (sIx < eIx && IA[s.charAt(sIx) & 0xff] < 0)
			sIx++;

		// Trim illegal chars from end
		while (eIx > 0 && IA[s.charAt(eIx) & 0xff] < 0)
			eIx--;

		// get the padding count (=) (0, 1 or 2)
		int pad = s.charAt(eIx) == '=' ? (s.charAt(eIx - 1) == '=' ? 2 : 1) : 0;  // Count '=' at end.
		int cCnt = eIx - sIx + 1;   // Content count including possible separators
    //#Base64.java:539: ?overflow
    //#    eIx - sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_15
    //#    assertion: eIx - sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: (eIx - sIx) + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_294_967_293..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
		int sepCnt = sLen > 76 ? (s.charAt(76) == '\r' ? cCnt / 78 : 0) << 1 : 0;

		int len = ((cCnt - sepCnt) * 6 >> 3) - pad; // The number of decoded bytes
    //#Base64.java:542: ?overflow
    //#    shr((cCnt - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_21
    //#    assertion: shr((cCnt - sepCnt)*6, 3) - pad in {-2_147_483_648..4_294_967_295}
    //#    VN: -(__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3))
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-4_831_838_210..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
		byte[] dArr = new byte[len];       // Preallocate byte[] of exact length
    //#Base64.java:543: ?overflow
    //#    len >= 0
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_21
    //#    assertion: len >= 0
    //#    VN: -(__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3))
    //#    Expected: {0..+Inf, Invalid}
    //#    Bad: {-2_147_483_648..-1}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp

		// Decode all but the last 0 - 2 bytes.
		int d = 0;
		for (int cc = 0, eLen = (len / 3) * 3; d < eLen;) {
			// Assemble three bytes into an int from four "valid" characters.
			int i = IA[s.charAt(sIx++)] << 18 | IA[s.charAt(sIx++)] << 12 | IA[s.charAt(sIx++)] << 6 | IA[s.charAt(sIx++)];
    //#Base64.java:549: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:549: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 2
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:549: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 3
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
    //#Base64.java:549: ?overflow
    //#    sIx in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_23
    //#    assertion: sIx in {-2_147_483_649..4_294_967_294}
    //#    VN: sIx + 4
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp

			// Add the bytes
			dArr[d++] = (byte) (i >> 16);
    //#Base64.java:552: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) (i >> 8);
    //#Base64.java:553: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d + 1)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
			dArr[d++] = (byte) i;
    //#Base64.java:554: ?array index out of bounds
    //#    d < dArr.length
    //#    severity: MEDIUM
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_23
    //#    assertion: d < dArr.length
    //#    VN: -((__Temp_Initially_2 - shr(-(((cCnt.78*2) mod 4_294_967_296 - (eIx - sIx))*6 - 6), 3)) + d + 2)
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp

			// If line separator, jump over it.
			if (sepCnt > 0 && ++cc == 19) {
    //#Base64.java:557: ?overflow
    //#    cc in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_24
    //#    assertion: cc in {-2_147_483_649..4_294_967_294}
    //#    VN: cc + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
				sIx += 2;
    //#Base64.java:558: ?overflow
    //#    sIx in {-2_147_483_650..4_294_967_293}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_25
    //#    assertion: sIx in {-2_147_483_650..4_294_967_293}
    //#    VN: sIx + 6
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296,4_294_967_297}
    //#    Attribs:  Int  Bad > Exp
				cc = 0;
			}
		}

		if (d < len) {
			// Decode last 1-3 bytes (incl '=') into 1-3 bytes
			int i = 0;
			for (int j = 0; sIx <= eIx - pad; j++)
				i |= IA[s.charAt(sIx++)] << (18 - j * 6);

			for (int r = 16; d < len; r -= 8)
    //#Base64.java:569: ?overflow
    //#    r in {-2_147_483_640..4_294_967_303}
    //#    severity: SUPPRESSED
    //#    class: net.miginfocom.Base64
    //#    method: byte[] decodeFast(String)
    //#    basic block: bb_33
    //#    assertion: r in {-2_147_483_640..4_294_967_303}
    //#    VN: r - 8
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {-2_147_483_656..-2_147_483_649}
    //#    Attribs:  Int  Bad < Exp
				dArr[d++] = (byte) (i >> r);
		}

		return dArr;
    //#Base64.java:573: end of method: byte[] net.miginfocom.Base64.decodeFast(String)
	}
}    //#Base64.java:: end of class: net.miginfocom.Base64
