This file. Looks like we have everything it requires. Add the port as an example test.

It would run slowly, but that's just a reason to find ways to speed it up.