class oadd.io.netty.handler.codec.compression.Bzip2DivSufSort$TRBudget extends java.lang.Object { int budget; int chance; void (int, int) { int v, v; oadd.io.netty.handler.codec.compression.Bzip2DivSufSort$TRBudget v; v := @this: oadd.io.netty.handler.codec.compression.Bzip2DivSufSort$TRBudget; v := @parameter: int; v := @parameter: int; specialinvoke v.()>(); v. = v; v. = v; return; } boolean update(int, int) { oadd.io.netty.handler.codec.compression.Bzip2DivSufSort$TRBudget v; int v, v, v, v, v, v, v, v, v; v := @this: oadd.io.netty.handler.codec.compression.Bzip2DivSufSort$TRBudget; v := @parameter: int; v := @parameter: int; v = v.; v = v - v; v. = v; v = v.; if v > 0 goto label; v = v.; v = v - 1; v. = v; if v != 0 goto label; return 0; label: v = v.; v = v + v; v. = v; label: return 1; } }