svoid test_tok_persistableClasses() {
  // no default constructor
  testTranspilationFunction tok_persistableClasses(
    "persistable static class bla {}",
    "static class bla { *(S x) {} }");
    
  // with default constructor
  testTranspilationFunction tok_persistableClasses(
    "persistable static class bla { *() { print(); } }",
    "static class bla { *() { print(); } }");
}