class AtomicPositiveInteger extends Number {

    public final int decrementAndGet() {
        return INDEX_UPDATER.decrementAndGet(this) & Integer.MAX_VALUE;
    }

    public  AtomicPositiveInteger();
    public  AtomicPositiveInteger(int initialValue);

}