add xorshift64.h and aliastable.h