On 31/05/2021 22:33, Zied Guermazi wrote: > + This file has been generated on an armv8 machine using: > + gcc -m32 -S -O2 -dA -g tailcall-only.c -o aarch64-tailcall-only.S I find that very hard to believe, since the aarch64 port of gcc does not have a '-m32' option. R.