svoid test_tok_scopes() {
  testTranspilationFunction tok_scopes(
    "scope bla { blubb    #blu; } ",
    "            blubb bla_blu;   ");
    "scope bla int #x; end scope");
}