test_char_at.java

public class test_char_at {

  public static void main(/*String[] argv*/) {
    String s = new String("abc");
    assert(s.charAt(2)!='c');
  }
}