vsprintf.c: add GUID printing