initial stubs for x64 rc4