design doc on multiple return values