WIP: Test examples check output