lucy(perky):~% cat tok.c
#include <stdio.h>
#include <wchar.h>
#include <string.h>

int
main(void)
{
        const wchar_t *tok = L"\x1234&#53664;&#45180;&#44400;";
        printf("%d\n", wcslen(tok));
        return 0;
}
lucy(perky):~% ./tok
4