/* print the address and value of the specified symbols */

get_symbol (argc, argv)
int argc;
char *argv[];
{
	register int *value;
	register int i;

	for (i=1; i < argc; i++) {
	value = (int *) dld_get_symbol (argv[i]);
	printf ("%d: address = 0x%x, value = 0x%x\n", i, value, *value);
	}
}

