The right ideas. Not optimized for reallocation. Creates pressure to overload types, making secure software unattainable.