int main() {
  return static_cast<int>(0);
}