Changed type of ok array in builtin_printf.cpp to bool