Domain d6inte_: 6int E: