I got one library that uses uint256_t to represent a hash, and another library that uses uint8_t array for this.
I guess there should be a way to cut/convert this uint256_t into an uint8_t[32] somehow.
However, I couldn't find yet how that could be easily converted.