Gdb and dollars in identifiers

I'd like to debug a program that uses the dollars in identifiers extension.

Take

#include <stdio.h>
int main()
{
    int $a = 42, b= 43;
    printf("%d %d\n", $a, b);
}

for a simplified example. If I run it under gdb, I can inspect b using p b, but for p $a I get void. I can only show the value with info locals.

Is there a way to refer to $-containing identifiers in gdb?