This article appears to successfully statically translate arm64 binary into an x86_64 binary using bitcode.
This article appears to successfully statically translate arm64 binary into an x86_64 binary using bitcode.