svoid test_tok_printIfdef() {
  testTranspilationFunction tok_printIfdef(
    [[print ifdef bla("blu");]],
    [[ifdef bla print ("bla");]],
  ));
}