title: mysql expression for random uuid4?
body: <p>Mysql offers a <code>UUID()</code> function,
  which returns an <a href="https://www.rfc-editor.org/rfc/rfc4122" rel="nofollow noreferrer">rfc 4122</a> version 1 guid.
  This is an easily guessed timestamp + node_id bit string.</p>
  <p>How may we insert randomized <a href="https://en.wikipedia.org/wiki/Universally_unique_identifier#Version_4_(random)" rel="nofollow noreferrer">version</a> <a href="https://docs.python.org/3/library/uuid.html#uuid.uuid4" rel="nofollow noreferrer">4</a> guids?</p>
  <p>(Defining a new function requires permissions and is out-of-scope.
  Ben Johnson offers an <a href="https://stackoverflow.com/a/53888040">expression</a> that is very nice but a little verbose.)</p>