mem: add bounded reserve function