How to use another UART ports?

Products & Technology Wio Terminal
#1

When I searched about ATSAMD51,I found that has 4 UART ports.
But commonly Wio Terminal has only one UART port(TXD/RXD pins).

So I used the code wrote in “https://gist.github.com/ciniml/bd2bb4dea22a55c067ca6790ad0c3eae”.
But it didn’t move.

Please teach me how to use another UART ports in Wio Terminal.