svoid test_tok_printIfdef() {
  print(applyTranspilationFunction tok_printIfdef(
    [[print ifdef bla("bla");]]
  ));
}