[selftest] TempleOS RandU64 from seed 0x5625BA88 (no TSC):
  F938EC09CD5341E8
  639F4963A15D75DB
  D75A7172575CCEB8
  2B39C72B56F57CBC
  68871DB77B75BF5A
[selftest] done.
