[FOLD] collapse uint256 initialization into a single line