unimportant nitpickiness:  "allocated"