Fix many.c testcase for Aarch64