svoid test_tok_castToStatements() {
  testTranspilationFunction tok_castToStatements(
    "cast bla to Bla; ret bla;",
    "ret ((Bla) bla);",
    "{ cast bla to Bla; ret bla; } ret bla;",
    "{ ret ((Bla) bla); } ret bla;",
  );
}