contract C {
    function f() public view returns (uint256 val) { return gasleft(); }
}