Also: pattern variable can be deleted via simple .delete() GitOrigin-RevId: d3523f64d86de28d90b82d7bd98c1fd70567652d
GitOrigin-RevId: 78dfe45581f1ed84050635410f834f3195dabfe1