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