function _CLK_TCK() { // FIXME: this is clearly not always right. // But how to figure out the right value? return 100.0; }