GetConstantStr.java

public class GetConstantStr {
    public static void get_constant_str(Object obj) {
        //:: warning: (known.nonnull)
        assert obj != null;
    }
}