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