return the same type of thing in both execution paths