public static final void writeInt(int a_int, Buffer a_bytes) {
if (Deploy.debug) {
a_bytes.writeBegin(Const4.YAPINTEGER);
if (Deploy.debugLong) {
String l_s = " " + new Integer(a_int).toString();
new LatinStringIO().write(
a_bytes,
l_s.substring(l_s.length() - Const4.INTEGER_BYTES));
} else {
for (int i = Const4.WRITE_LOOP; i >= 0; i -= 8) {
a_bytes._buffer[a_bytes._offset++] = (byte) (a_int >> i);