svoid test_tok_stages() {
  testTranspilationFunction tok_stages(
    [[ stage stage1 "bla" { blubb; } ]],
    [[]]
  );
}