int main() {
  ok
