[@@@alert foo "foo(I)"] (* accepted *)
[@@@alert bar "bar(I)"] (* accepted *)

val x: int

[@@@alert xyz "xyz"] (* rejected *)