// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.8.0;

contract PrevRandao {
    function test() public view {
        uint256 r = block.prevrandao;
        // prevrandao is nondet, so it could be any value
        // but it should be a valid uint256
        assert(r >= 0);
    }
}
