svoid test_tok_settableFields() {
  testTranspilationFunction tok_settableFields(
    "settable S bla;",
    //"selfType bla(S bla) { this.bla = bla; this; }  S bla() { ret bla; } S bla;",
    "public selfType bla aka setBla(S bla) { this.bla = bla; this; }\n"
      + "public S bla aka getBla() { ret bla; } S bla;",
      
    "settable volatile S bla;",
    "public selfType bla aka setBla(S bla) { this.bla = bla; this; }\n"
      + "public S bla aka getBla() { ret bla; } volatile S bla;",
      
  );
}