typecheck
#define typecheck(type,x) \
(typecheck(__u32, a) && \
typecheck(__u32, b) && \
(typecheck(__u32, a) && \
typecheck(__u32, b) && \
(typecheck(__u32, a) && \
typecheck(__u32, b) && \
(typecheck(__u16, a) && \
typecheck(__u16, b) && \
(typecheck(__u32, a) && \
typecheck(__u32, b) && \