tok_printIfdef (untested)