Maybe replace `ia32` wth `$ARCH`?