Start on tests for definite return values