fn Close() {

}

sig Closed {

}

prop version = u32
