Partial x64 port