Finally got correct output for UMAC RFC's test vector.
Have a feeling that it still needs more testing: provided test vectors
do not cover all branches.