x86_64Lite - passing