Create an appropriately-sized padding option. Precondition: |msgLen| is the length of a message that already contains an OPT RR.
(msgLen int)
source not stored for this graph (policy: none)
no test coverage detected