check_xa_alloc_3 838 lib/test_xarray.c check_xa_alloc_3(&xa0, 0); check_xa_alloc_3 839 lib/test_xarray.c check_xa_alloc_3(&xa1, 1);