Gallstones after vagotomy