fix default case printf and eliminate pok and wok