Section 5.1 mentions `~[int]` out of the blue without explanation.
Section 5.1 mentions
~[int]out of the blue without explanation.