These two formats are now supported, if "pointer_name" is present in the "pointers" hashtable: * "${pointer_name}": value of pointer (example: "0x1234abcd") * ${buffer[pointer_name].full_name}: use of a pointer name instead of pointer value or list name