strengthen test_alloca to check alignment