__u32              88 replace/uuid_parse.c     __u32 time_low;
__u32             101 replace/uuid_parse.c     __u32 tmp;
__u32             135 replace/uuid_parse.c     __u32 tmp;
__u32             424 replace/uuid_parse.c get_clock(__u32 * clock_high, __u32 * clock_low, __u16 * ret_clock_seq)
__u32             485 replace/uuid_parse.c     __u32 clock_mid;