svoid test_tok_persistableClasses() {
  // no default constructor
  testTranspilationFunction tok_persistableClasses(
    "persistable static class bla { *(S x) {} }",
    "static class bla { *() {} *(S x) {} }");
    
  // no default constructor, but an argument-less function
  testTranspilationFunction tok_persistableClasses(
    "persistable static class bla { S bla() { null; } }",
    "static class bla { *() {} *S bla() { null; } }");
    
  // with default constructor
  testTranspilationFunction tok_persistableClasses(
    "persistable static class bla { *() { print(); } }",
    "static class bla { *() { print(); } }");
}