#undef printf under #ifdef TEST (needed for testing)