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