1.7

module arith_char = {
    type this
}

module arith_int = {
    type this
}