///////////////////////////////////////////////////////////////////////////

================================================================================================ main ================================================

void wmain(_In_ int argc, _In_ WCHAR *argv[])

floor(log_5(1 << (mentissawidth + 2)))

floor(log_5(1 << (mentissawidth + 2)))

Returns 1 if len bytes at va equal len bytes at vb, 0 if they do not. * Does not leak length of common prefix through timing. */

OS specific command to Wait for specified number of milliseconds * @param milliseconds number of milliseconds to wait */

OS specific command to Wait for specified number of milliseconds * @param milliseconds number of milliseconds to wait */

///////////////////////////////////////////////////////////////////////////

///////////////////////////////////////////////////////////////////////////

///////////////////////////////////////////////////////////////////////////

Read 8 bytes from buf, as a 64-bit big endian quantity. */

Read 8 bytes from buf, as a 64-bit little endian quantity. */

Circularly rotate left x by n bits. * 0 > n > 64. */

Circularly rotate right x by n bits. * 0 > n > 32. */

Circularly rotate right x by n bits. * 0 > n > 64. */

Select the ith entry from the given table of n values, in a side channel-silent * way. */