¿Cómo puedo hacer que GDB haga referencias extra en una función de impresión comox/s?

Cuando intento desreferencias explícitas enx/ Me sale el error "Intentar desreferenciar un puntero genérico". Utilizandox/ varias veces funciona, ya que cada uso incluye una desreferencia implícita, pero esto es molesto ya que tengo que copiar y pegar cada resultado intermedio.

Ejemplo

Considere el programa C muy útil,example.c:

#include <stdio.h>
int main(int argc, char **argv) {
  printf("argv[0] = %s\n", argv[0]);
}

Si lo construyo y lo cargo en GDB, veo queargv se almacena en0xc(%ebp), ya que una doble desviación de eso se pasa como el segundo argumento paraprintf (es decir, en0x4(%esp)) en la línea 26:

$ gcc -o example example.c
$ gdb example

(gdb) disass main
Dump of assembler code for function main:
   0x080483e4 <+0>:   push   %ebp
   0x080483e5 <+1>:   mov    %esp,%ebp
   0x080483e7 <+3>:   and    $0xfffffff0,%esp
   0x080483ea <+6>:   sub    $0x10,%esp
   0x080483ed <+9>:   mov    0xc(%ebp),%eax
   0x080483f0 <+12>:  mov    (%eax),%edx
   0x080483f2 <+14>:  mov    $0x80484e0,%eax
   0x080483f7 <+19>:  mov    %edx,0x4(%esp)
   0x080483fb <+23>:  mov    %eax,(%esp)
   0x080483fe <+26>:  call   0x8048300 <printf@plt>
   0x08048403 <+31>:  leave  
   0x08048404 <+32>:  ret    
End of assembler dump.

Me rompo enprintf y ejecuta el programa con argumentosfirst ysecond:

(gdb) break *main + 26
Breakpoint 1 at 0x80483fe

(gdb) run first second
Starting program: /var/tmp/SO-attempt-to-dereference-generic-pointer/example first second

Intento imprimirargv[0] en GDB, pero me sale el error "puntero genérico":

Breakpoint 1, 0x080483e5 in main ()
(gdb) x/s **(0xc + $ebp)
Attempt to dereference a generic pointer.

Sin embargo, al usar 'x / xw' para desreferenciar manualmente algunas veces, eventualmente puedo imprimirargv[0] (yargv[1]):

(gdb) x/xw 0xc + $ebp
0xbfffeba4: 0xbfffec34
(gdb) x/xw 0xbfffec34
0xbfffec34: 0xbfffedc8
(gdb) x/s 0xbfffedc8
0xbfffedc8:  "/var/tmp/SO-attempt-to-dereference-generic-pointer/example"

(gdb) x/xw 0xbfffec34 + 4
0xbfffec38: 0xbfffee03
(gdb) x/s 0xbfffee03
0xbfffee03:  "first"
(gdb) 

Pero esto es molesto e indirecto (como lo es la programación de punteros).