x86-64/x64Correct tweaked and renamed to bootstrap/bootstrap_lemmas