First checkin for safe_multiply2.