“Whoever kidnaps someone and sells him, or is caught still holding him, must surely be put to death.

“If a man gives his neighbor money or articles for safekeeping, and it is stolen from the man’s house, if the thief is caught, he must repay double.