gdb --command='/home/sam/bin/how_many_commands_script' /usr/sina/sbin/resolver/res_core `pc res_core` 2>/dev/null | grep '\$' | sed 's/.*= //'