solidity/test/libsolidity/semanticTests/state/block_difficulty.sol