add xorshift.h and aliastable.h