char *__procfdname_impl(char *buf, unsigned fd)
{
	*buf = 0;
	do *--buf = '0' + fd % 10;
	while (fd /= 10);
	for (int i = 13; i >= 0; i--)
		*--buf = "/proc/self/fd/"[i];
	return buf;
}