cmd_buf          4154 gc/os_dep.c    		char cmd_buf[CMD_SZ];
cmd_buf          4180 gc/os_dep.c    		sprintf(cmd_buf, "/usr/bin/addr2line -f -e %s 0x%lx", exe_name,
cmd_buf          4191 gc/os_dep.c    		pipe = popen(cmd_buf, "r");