correctness of standalone x64 for diverges-case
proved a simple cheat