rab_solver uses a stack allocated by one initial call to malloc.