GET_UINTN	 716 src/vf.c		code_point = GET_UINTN(&dvi_prog[pc], n);
GET_UINTN	 736 src/vf.c		code_point = (UINT4)GET_UINTN(&dvi_prog[pc], n); pc += n;
GET_UINTN	 792 src/vf.c		f = GET_UINTN(&dvi_prog[pc], n); pc += n;