[@@@alert foo "foo"] (* rejected *) [@@@alert bar "bar"] (* rejected *) let x = 42 [@@@alert xyz "xyz"] (* rejected *)