function f() {
    "" < "";
}