A start of some regression tests (all passing, all
example-y)