class Hour {
private[this] var h: Int = _
def hour: Int = h
def hour_=(x: Int) {
require(0<=x && x<24)
h = x
}
}
defined class Hour