contract TheDaoHardForkOracle {
    // `ran()` manually verified true on both ETH and ETC chains
    function forked() constant returns (bool);
}
// `interface` would make a nice keyword ;)
function forked() constant returns (bool);

// `ran()` manually verified true on both ETH and ETC chains