let test =
    match (Here) {
    | Here    -> print_string ("This test is OK.\n")
    | NotHere -> print_string ("This test is KO.\n")
    }