int main() {
  ok;
