Symbol: mpi_alloc_limb_space