middle-end/100547 - check rtvec_alloc size