__db_procname_by_asid
db_printf("ASID=%d (%s)", i, __db_procname_by_asid(i));
char *__db_procname_by_asid(int);