svoid test_tok_gettableFields() {
  testTranspilationFunction tok_gettableFields(
    "gettable S bla;",
    "public S bla aka getBla() { ret bla; } S bla;",
  );
}