Check that examples work