public extension ET {
  var x : Int { return 0 }
}