x86_64 solved