gdb: use stdio functions to convert parameters