x64: working allocation!