documented return type