docs: public void addPush(int k) {
          if ((byte) k == k) {
              if (k == -1) {
                  add(ByteCode.ICONST_M1);
              } else if (0 <= k && k <= 5) {
                  add((byte) (ByteCode.ICONST_0 + k));
              } else {
                  add(ByteCode.BIPUSH, (byte) k);
              }
          } else if ((short) k == k) {
              add(ByteCode.SIPUSH, (short) k);
          } else {
              addLoadConstant(k);
          }
      }