printf-hook-builtin: Add a new "builtin" backend using its own printf() routines