448 /* allocation upper bound */