#include "strings.h"
void progIdToStr(char *strEnd, u64 progId)
{
while(progId > 0)
static const char hexDigits[] = "0123456789ABCDEF";
*strEnd-- = hexDigits[(u32)(progId & 0xF)];
progId >>= 4;
}