foo {
  test-1: true;
  test-2: true;
  test-3: true;
  test-4: true;
  test-5: 10>=10;
  test-6: 10 >=10;
  test-7: 10>= 10;
  test-8: 10 >= 10;
  test-9: true0;
  test-10: true0;
  test-11: true0;
  test-12: true0;
  test-13: 10>=10;
  test-14: 10 >=10;
  test-15: 10>= 10;
  test-16: 10 >= 10;
  test-17: 10>=10;
  test-18: 10 >=10;
  test-19: 10>= 10;
  test-20: 10 >= 10;
  test-21: 10>=10;
  test-22: 10 >=10;
  test-23: 10>= 10;
  test-24: 10 >= 10;
  test-25: 10>=10;
  test-26: 10 >=10;
  test-27: 10>= 10;
  test-28: 10 >= 10;
  test-29: 10>=10;
  test-30: 10 >=10;
  test-31: 10>= 10;
  test-32: 10 >= 10;
  test-33: 10>=10;
  test-34: 10 >=10;
  test-35: 10>= 10;
  test-36: 10 >= 10;
  test-37: 10>=10;
  test-38: 10 >=10;
  test-39: 10>= 10;
  test-40: 10 >= 10; }