
U32 bitcount_signed(S32 v1, S32 v2, S32 v3, S32 v4);
U32 bitcount(U32 v1, U32 v2, U32 v3, U32 v4);
