Problem: id() can be made faster Solution: don't use printf(), use clever shift of pointer (Ernie Rael) closes: #15207 Signed-off-by: Ernie Rael <errael@raelity.com> Signed-off-by: Christian Brabandt <cb@256bit.org>