If the argument expr is an expression of type T, or an untyped constant expression whose default type is T, then new(expr) allocates a variable of type T, initializes ...