Clinical and experimental studies on gastric function after several types of vagotomy.