few initial test vectors seem allright