Suppose I create a gdb user-defined command like this:
define pfoo call foo_printer($arg0) end
where foo_printer takes a pointer
foo_printer