prag($alloc_request,4,index(4)).
