```\nfunction mul(uint256 a, uint256 b) internal pure returns (uint256) {\n    if (a == 0) {\n        return 0;\n    }\n\n    uint256 c = a * b;\n    require(c / a == b, "SafeMath: multiplication overflow");\n    return c;\n}\n```\n