First commit of safe_multiply.