svoid test_tok_settableFields() {
  testTranspilationFunction tok_gettableFields(
    "settable S bla;",
    "selfType bla(S bla) { this.bla = bla; this; }  S bla() { ret bla; } S bla;",
  );
}