import org.checkerframework.common.aliasing.qual.*;
package java.lang;
class String {
    @Unique String();
}

class StringBuffer {
    @Unique StringBuffer();
    StringBuffer append(@LeakedToResult StringBuffer this, @NonLeaked String s);
}

class Exception {
    @Unique Exception();
}

class Object {
    @Unique Object();
}
