methods {
    clock() returns (uint48)
    CLOCK_MODE() returns (string)
}