[willvarfar]

You are reading a lot into a short story. You don’t know that the engineer hasn’t had someone exactly calculate the memory allocations.

Static or never-reclaimed allocations are common enough in embedded code.