let test =
    match (K ("OK")) {
    | K (x & y) ->
      print_string ("This test is ");
      print_string (x);
      print_string (" and ");
      print_string (y);
      print_string (".\n")
    }