Fixed indentation in builtin_printf.cpp