Arduino example demonstrating initialization and use of the SAMD51 True Random Number Generator peripheral